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