xref: /petsc/src/sys/webclient/tutorials/output/urlshorten_1.out (revision 61cc744836451fb4d1d6f02ab6992be430960ed1)