xref: /petsc/src/sys/webclient/tutorials/output/urlshorten_1.out (revision 658e5547a7c77d7aff7b975a33da61ff852241a7)