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