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