diff options
| author | Ben Sturmfels <ben@sturm.com.au> | 2015-08-04 10:15:17 +1000 |
|---|---|---|
| committer | Berker Peksag <berker.peksag@gmail.com> | 2015-08-25 03:19:17 +0300 |
| commit | bfbd09007a6bb70f1b0d28f2ed8a33b3d4ba4e2a (patch) | |
| tree | 2c29ec2aa9d2cc8cd9946d99a721b2078143d1fd /mediagoblin.example.ini | |
| parent | b4997540dcc7b75441e9b10ee6dcac32cc2708be (diff) | |
| download | mediagoblin-bfbd09007a6bb70f1b0d28f2ed8a33b3d4ba4e2a.tar.lz mediagoblin-bfbd09007a6bb70f1b0d28f2ed8a33b3d4ba4e2a.tar.xz mediagoblin-bfbd09007a6bb70f1b0d28f2ed8a33b3d4ba4e2a.zip | |
Issue #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.
Diffstat (limited to 'mediagoblin.example.ini')
| -rw-r--r-- | mediagoblin.example.ini | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/mediagoblin.example.ini b/mediagoblin.example.ini index 17b123fb..52331d82 100644 --- a/mediagoblin.example.ini +++ b/mediagoblin.example.ini @@ -2,8 +2,8 @@ # mediagoblin_local.ini, then make the changes there. # # If you don't see what you need here, 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. :) +# 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. :) # To change the directory you should make sure you change the # directory in paste.ini and/or your webserver configuration. |