xref: /petsc/src/sys/webclient/tutorials/output/urlshorten_1.out (revision 030f984af8d8bb4c203755d35bded3c05b3d83ce)