Mention mediagoblin/config_spec.ini

2013-02-13 16:56:24 +01:00 · 2013-02-13 16:56:24 +01:00 · dc000b70ff
commit dc000b70ff
parent 591c116098
1 changed files with 4 additions and 0 deletions
--- a/mediagoblin.ini
+++ b/mediagoblin.ini
@ -1,3 +1,7 @@
+# Have a look at mediagoblin/config_spec.ini
+# It defines types and defaults so it’s a good place to look for documentation
+# or to find hidden options that we didn’t tell you about. :)
+
 # If you want to make changes to this file, first copy it to
 # mediagoblin_local.ini, then make the changes there.