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