Dave Davenport 28f74e3a5a Change Configuration to configuration		2017-03-29 19:54:13 +02:00
..
theme-lexer.l	Change Configuration to configuration	2017-03-29 19:54:13 +02:00
theme-parser.y	Merge the configuration loading into something more simple (3)	2017-03-28 17:33:43 +02:00