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