.. _tools: Development Tools ================= .. todo:: Overview of internal and external tools we use for GWM. Jenkins, Redmine, Sphinx, Git, pep8.