xref: /petsc/src/sys/webclient/tutorials/output/urlshorten_1.out (revision 78f1d13956708d00685f8d108946ce2901b5ba49)