diff options
| author | James Moger <james.moger@gitblit.com> | 2015-06-15 12:56:23 -0400 |
|---|---|---|
| committer | James Moger <james.moger@gitblit.com> | 2015-06-15 12:56:23 -0400 |
| commit | b3aabb94c9935e61ba16bb5ab506c123ae29fbf3 (patch) | |
| tree | 2e1f1b470a3e7c9a8ae5faed48a0e1574fca547c /src/main/distrib | |
| parent | 18231200d33b62d2d96286b9bbd84476df5d9189 (diff) | |
| download | gitblit-b3aabb94c9935e61ba16bb5ab506c123ae29fbf3.tar.gz gitblit-b3aabb94c9935e61ba16bb5ab506c123ae29fbf3.zip | |
Renamed ssh.Display(Host|Port) to ssh.Advertised(Host|Port)
Diffstat (limited to 'src/main/distrib')
| -rw-r--r-- | src/main/distrib/data/defaults.properties | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/main/distrib/data/defaults.properties b/src/main/distrib/data/defaults.properties index 272eec08..60c914ba 100644 --- a/src/main/distrib/data/defaults.properties +++ b/src/main/distrib/data/defaults.properties @@ -116,13 +116,13 @@ git.sshBindInterface = # This may be useful in complex forwarding setups. # # SINCE 1.7.0 -git.sshDisplayHost = +git.sshAdvertisedHost = # Manually specify the port to use in advertised SSH repository urls. # This may be useful in complex forwarding setups. # # SINCE 1.7.0 -git.sshDisplayPort = +git.sshAdvertisedPort = # Specify the SSH key manager to use for retrieving, storing, and removing # SSH keys. |