source: genesis@ 13271

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 13271   10 years huub config kwvuurbaak aangevuld
tools 13264   10 years rick * Document how-to fix bloken/missing plugins * Remove duplicate disk check
Note: See TracBrowser for help on using the repository browser.