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