xref: /petsc/src/sys/webclient/tutorials/output/urlshorten_1.out (revision 856bee69f0e0908e75ff837867b1777dfb1ced96)