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