To use PolyGerrit, please enable JavaScript in your browser settings, and then refresh this page. Removes unused gerrit-doc-properties.sh file as it is identical to docbook-properties.sh. (15793) ยท Gerrit Code Review