Norman Feske 3315294f2d Deprecate Genode::config() ... Issue #1959		2017-01-13 13:06:54 +01:00
..
launchpad.h	Deprecate Genode::config()	2017-01-13 13:06:54 +01:00