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