Ben Hutchings c07a4d3987 Refresh config symbols for 4.5-rc4 ... Delete obsolete config symbols; rename/replace some as appropriate.		2016-02-15 17:50:19 +00:00
..
config	Refresh config symbols for 4.5-rc4	2016-02-15 17:50:19 +00:00