diff options
| author | Matthias Sohn <matthias.sohn@sap.com> | 2019-12-16 11:20:12 +0100 |
|---|---|---|
| committer | Matthias Sohn <matthias.sohn@sap.com> | 2019-12-16 11:20:12 +0100 |
| commit | 2db0c6bb7a1e2092de605d277711749899f8ebdf (patch) | |
| tree | 10313d1b4022c29d0957e98d298241485fa687a9 /.settings | |
| parent | c2a3ce79654214ba1bd29137e42786dd98bc3e2f (diff) | |
| download | jgit-2db0c6bb7a1e2092de605d277711749899f8ebdf.tar.gz 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.prefs | 2 |
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 |