Mathijs Kwik e05a37d736 rename deprecated option		2013-03-04 22:46:06 +01:00
..
activation	Log the configuration when booting / switching	2013-02-18 15:39:47 +01:00
boot	rename deprecated option	2013-03-04 22:46:06 +01:00
etc	Selectively allow /etc files to be disabled	2013-02-03 14:28:18 +01:00
upstart	Rename ‘boot.systemd’ to ‘systemd’	2013-01-16 12:33:18 +01:00