From 472b74324eb40fda5892fa4dfe3a35cd87e75a2a Mon Sep 17 00:00:00 2001 From: Florian Zschocke Date: Fri, 16 Dec 2016 13:36:43 +0100 Subject: [PATCH] Fix typo in defaults.properties. --- src/main/distrib/data/defaults.properties | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main/distrib/data/defaults.properties b/src/main/distrib/data/defaults.properties index 4b12ba24..9bb02482 100644 --- a/src/main/distrib/data/defaults.properties +++ b/src/main/distrib/data/defaults.properties @@ -301,7 +301,7 @@ git.defaultIncrementalPushTagPrefix = r # the repository should be created with 'git init --shared' to make sure that # it can be accessed e.g. via ssh (user git) and http (user www-data). # -# Valid values are the values available for the '--shared' option. The the manual +# Valid values are the values available for the '--shared' option. See the manual # page for 'git init' for more information on shared repositories. # # SINCE 1.4.0 -- 2.39.5