xref: /petsc/src/sys/webclient/tutorials/output/urlshorten_1.out (revision 56a72328f397842c5a32901afc99e425102b3754)