xref: /petsc/src/sys/webclient/tutorials/output/urlshorten_1.out (revision 97276fddab9e156c6aa2d4453777ea460476b6f0)