diff options
| -rw-r--r-- | mediagoblin.ini | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/mediagoblin.ini b/mediagoblin.ini index 6325c8e0..66c9c77c 100644 --- 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. |