From 21b3b3a42a5cead9a29e68d914465fc64a988563 Mon Sep 17 00:00:00 2001 From: Christian Aistleitner Date: Thu, 9 May 2013 22:32:45 +0200 Subject: [PATCH] Remove non-ASCII character from documentation Although asciidoc accepts non-ASCII characters, other tools for the same purpose (e.g.: asciidoctor) do not. Change-Id: I1bf37877201771e44f2e9dd15cfc2f6d2527fd6e --- Documentation/config-gitweb.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Documentation/config-gitweb.txt b/Documentation/config-gitweb.txt index e5edda808b..7ba15b8a2e 100644 --- a/Documentation/config-gitweb.txt +++ b/Documentation/config-gitweb.txt @@ -116,7 +116,7 @@ $stylesheet = "gitweb.css"; # logo to use $logo = "git-logo.png"; -# the ‘favicon’ +# the favicon $favicon = "git-favicon.png"; ----