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