diff options
Diffstat (limited to 'src/main/distrib/data/defaults.properties')
| -rw-r--r-- | src/main/distrib/data/defaults.properties | 2 |
1 files changed, 1 insertions, 1 deletions
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 |