Matthias Sohn 2db0c6bb7a Add resource preferences for top level jgit project ... Define resource preferences for the root directory of the jgit repository imported as an Eclipse project. This allows to work on files in the root folder inside Eclipse workspace. Change-Id: I1885841fd612a646b0b9a31f001ced5ca112e90d Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>		2019-12-16 11:20:12 +01:00
..
org.eclipse.core.resources.prefs	Add resource preferences for top level jgit project	2019-12-16 11:20:12 +01:00