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