Give a message if the user hasn't filled in their profile yet.

[mediagoblin.git] / mediagoblin / config_spec.ini

diff --git a/mediagoblin/config_spec.ini b/mediagoblin/config_spec.ini
index a296f0c193b15feb50175b470c0b7403d32b703b..bbc1f7d62545a292112fcf3487181a8d6002d24b 100644 (file)
--- a/mediagoblin/config_spec.ini
+++ b/mediagoblin/config_spec.ini
@@ -26,7 +26,6 @@ allow_registration = boolean(default=True)
 
 # tag parsing
 tags_delimiter = string(default=",")
-tags_case_sensitive = boolean(default=False)
 tags_max_length = integer(default=50)
 
 # By default not set, but you might want something like: