Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMatthias Sohn2019-12-16 10:20:12 +0000
committerMatthias Sohn2019-12-16 10:20:12 +0000
commit2db0c6bb7a1e2092de605d277711749899f8ebdf (patch)
tree10313d1b4022c29d0957e98d298241485fa687a9 /.settings
parentc2a3ce79654214ba1bd29137e42786dd98bc3e2f (diff)
downloadjgit-2db0c6bb7a1e2092de605d277711749899f8ebdf.tar.gz
jgit-2db0c6bb7a1e2092de605d277711749899f8ebdf.tar.xz
jgit-2db0c6bb7a1e2092de605d277711749899f8ebdf.zip
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>
Diffstat (limited to '.settings')
-rw-r--r--.settings/org.eclipse.core.resources.prefs2
1 files changed, 2 insertions, 0 deletions
diff --git a/.settings/org.eclipse.core.resources.prefs b/.settings/org.eclipse.core.resources.prefs
new file mode 100644
index 0000000000..99f26c0203
--- /dev/null
+++ b/.settings/org.eclipse.core.resources.prefs
@@ -0,0 +1,2 @@
+eclipse.preferences.version=1
+encoding/<project>=UTF-8

Back to the top