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