source: genesis@ 11505

Name Size Rev Age Author Last Change
config 10032   13 years richardvm changed the dhcp lease time
dns 11052   13 years rick Pool entries are generated in gformat.py these days.
nodes 11505   12 years huub extra link livinglab cetim2 gemaakt in configs
tools 11503   12 years rick Now with proper caching and shared memory.
Note: See TracBrowser for help on using the repository browser.