Ticket #815: issue_815.patch
|File issue_815.patch, 1.3 KB (added by , 8 years ago)|
From dcbcdc038c391ca1f0d93d308a8d9cfb383667ab Mon Sep 17 00:00:00 2001 From: Ben Sturmfels <email@example.com> Date: Tue, 4 Aug 2015 10:15:17 +1000 Subject: [PATCH] trac#815: Replace two non-ASCII curly single quotes with straight quotes. I don't think there's necessarily anything wrong with using non-ASCII characters, since UTF-8 is basically the de facto standard. There's no reason to mix a small number of curly quotes into a configuration file though, so I've replaced them for consistency. --- mediagoblin.example.ini | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/mediagoblin.example.ini b/mediagoblin.example.ini index 17b123f..52331d8 100644
a b 2 2 # mediagoblin_local.ini, then make the changes there. 3 3 # 4 4 # If you don't see what you need here, have a look at mediagoblin/config_spec.ini 5 # It defines types and defaults so it âs a good place to look for documentation 6 # or to find hidden options that we didn ât tell you about. :) 5 # It defines types and defaults so its a good place to look for documentation 6 # or to find hidden options that we didnt tell you about. :) 7 7 8 8 # To change the directory you should make sure you change the 9 9 # directory in paste.ini and/or your webserver configuration.