tree a1ace44280b4027f9b2501308f123f896967a6ca parent 0eefb26b447f1e4231af99b1e809f2b097f58c7d author Florian Nücke 1446059098 +0100 committer Florian Nücke 1446059098 +0100 Should avoid issue with silly people touching config files. Closes #1500.