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