Add "ssh" keyword to main git preference page
commit8dd018f3ca65a80d3bfee590d62f325565904b87
authorThomas Wolf <thomas.wolf@paranor.ch>
Wed, 21 Nov 2018 22:12:31 +0000 (21 23:12 +0100)
committerThomas Wolf <thomas.wolf@paranor.ch>
Wed, 21 Nov 2018 22:12:31 +0000 (21 23:12 +0100)
tree7a2d2365160e9ebf180c990b8eaca02ef5037fb6
parent5b7a323b22e4f03cfcb2cece438bfae7d19f18bb
Add "ssh" keyword to main git preference page

Change-Id: Ic977cc1fbbcb6bb48994478691de59b34b0bc436
Signed-off-by: Thomas Wolf <thomas.wolf@paranor.ch>
org.eclipse.egit.ui/plugin.properties