xref: /petsc/src/sys/webclient/tutorials/output/urlshorten_1.out (revision 4742e46b56cb5d0762110e30c569ce3737a8e22a)