Oliver Duis f7d5b97428 Clean up unused option; restored gray theme as new users default option ...

for lattern see issue 373

2011-08-06 11:00:43 +02:00

2.0 KiB

Raw Blame History

View Raw