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