diff options
| author | pythonsnake <pythonsnake98@gmail.com> | 2013-02-13 16:56:24 +0100 |
|---|---|---|
| committer | pythonsnake <pythonsnake98@gmail.com> | 2013-02-13 16:56:24 +0100 |
| commit | dc000b70ffe6b891544d6e330078ff6f80e013d3 (patch) | |
| tree | cc1bcb4fa001c40a457794907f76a6068010594c | |
| parent | 591c11609852c5481f00bf0eaa01ceafcd244f38 (diff) | |
| download | mediagoblin-dc000b70ffe6b891544d6e330078ff6f80e013d3.tar.lz mediagoblin-dc000b70ffe6b891544d6e330078ff6f80e013d3.tar.xz mediagoblin-dc000b70ffe6b891544d6e330078ff6f80e013d3.zip | |
Mention mediagoblin/config_spec.ini
| -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. |