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