Fix typo in defaults.properties.

src/main/distrib/data/defaults.properties

diff --git a/src/main/distrib/data/defaults.properties b/src/main/distrib/data/defaults.properties
index 4b12ba2..9bb0248 100644
--- a/src/main/distrib/data/defaults.properties
+++ b/src/main/distrib/data/defaults.properties
@@ -301,7 +301,7 @@
 # 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