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