xref: /petsc/src/sys/webclient/tutorials/output/urlshorten_1.out (revision 59af0bd3658d6c64d35e37f76ad6a8a026fa611f)