source: genesis@ 13239

Name Size Rev Age Author Last Change
config 10032   13 years richardvm changed the dhcp lease time
dns 13205   10 years rick Buzz is no more (since a long time, planning a replacement).
nodes 13239   10 years huub ssid van panterra2 aangepast aan de nieuwste inzichten
tools 13218   10 years huub met dank aan Niels: gformat lijstje proxies in rc.conf.local alleen …
Note: See TracBrowser for help on using the repository browser.