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