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