source: genesis@ 8560

Name Size Rev Age Author Last Change
dns 8445   15 years rick Give the monitoring server an wleiden.net name as well.
nodes 8560   15 years huub nieuwe nodes UniGor1 en 2 vervangen UniGor
tools 8398   15 years richardvm Firewall update
areas.conf 703 bytes ​ 4317   21 years dirkx Fixing line types
Note: See TracBrowser for help on using the repository browser.