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