From dc000b70ffe6b891544d6e330078ff6f80e013d3 Mon Sep 17 00:00:00 2001
From: pythonsnake <pythonsnake98@gmail.com>
Date: Wed, 13 Feb 2013 16:56:24 +0100
Subject: [PATCH] Mention mediagoblin/config_spec.ini

---
 mediagoblin.ini | 4 ++++
 1 file changed, 4 insertions(+)

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.