Category:IT Tools

This category contains pages about the IT tools that our group uses to help us do our research. Any articles describing such IT tools, including the wiki itself or our source control and build system belongs in this category.

To add a page to this category, include the code [[Category:IT Tools]] somewhere in its source code, preferably at the bottom.