prettyprint: moved to https://gerrit.libreoffice.org/gitweb?p=dev-tools.git;a=blob;f=prettyprint/prettyprint;hb=HEAD
formatxml: moved to https://gerrit.libreoffice.org/gitweb?p=dev-tools.git;a=tree;f=prettyprint;hb=HEAD