Morten Bøgeskov
2015-06-04 18231200d33b62d2d96286b9bbd84476df5d9189
src/main/distrib/data/defaults.properties
@@ -112,6 +112,18 @@
# RESTART REQUIRED
git.sshBindInterface = 
# Manually specify the hostname to use in advertised SSH repository urls.
# This may be useful in complex forwarding setups.
#
# SINCE 1.7.0
git.sshDisplayHost =
# 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 =
# Specify the SSH key manager to use for retrieving, storing, and removing
# SSH keys.
#