drewhk 615323a5ec Merge pull request #17378 from drewhk/wip-17355-no-case-class-for-settings-drewhk ... !str #17355: Don't use case classes for settings		2015-05-07 18:38:17 +02:00
..
src/test	Merge pull request #17378 from drewhk/wip-17355-no-case-class-for-settings-drewhk	2015-05-07 18:38:17 +02:00