]> source.dussan.org Git - jgit.git/commitdiff
Add resource preferences for top level jgit project 63/154563/1
authorMatthias Sohn <matthias.sohn@sap.com>
Mon, 16 Dec 2019 10:20:12 +0000 (11:20 +0100)
committerMatthias Sohn <matthias.sohn@sap.com>
Mon, 16 Dec 2019 10:20:12 +0000 (11:20 +0100)
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>
.settings/org.eclipse.core.resources.prefs [new file with mode: 0644]

diff --git a/.settings/org.eclipse.core.resources.prefs b/.settings/org.eclipse.core.resources.prefs
new file mode 100644 (file)
index 0000000..99f26c0
--- /dev/null
@@ -0,0 +1,2 @@
+eclipse.preferences.version=1
+encoding/<project>=UTF-8