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