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