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