put config.php.dist in textarea for easier selecting and copying
authorChristian Weiske <cweiske@cweiske.de>
Fri, 4 Jul 2014 19:46:42 +0000 (21:46 +0200)
committerChristian Weiske <cweiske@cweiske.de>
Fri, 4 Jul 2014 19:46:42 +0000 (21:46 +0200)

No differences found