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