xref: /petsc/src/sys/webclient/tutorials/output/urlshorten_1.out (revision 6a98f8dc3f2c9149905a87dc2e9d0fedaf64e09a)