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