Hans-Christoph Steiner 2fe7faed6e convert panic preferences to standard Preferences code style
Yes, this is an ugly and old style, but mixing styles only makes it worse.
Plus it breaks the tests in some cases, since it makes Preferences depend
on Resources.
2018-01-31 15:04:14 +01:00
..
2018-01-26 22:58:48 +01:00
2017-05-31 17:29:40 +02:00