xref: /petsc/src/sys/webclient/tutorials/output/urlshorten_1.out (revision 7fd2d3dbf8105d3f2e002a5ca11f019cd0ad7420)