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