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