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