diff options
author | Kristóf Marussy <kristof@marussy.com> | 2021-06-27 14:28:35 +0200 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2021-06-27 14:28:35 +0200 |
commit | 39994e99591536e9519e92b447dfee240f482b99 (patch) | |
tree | e2d2ead9c6555be2208a50dbefeb7bc98cc43175 /.settings/org.eclipse.core.resources.prefs | |
parent | Simplify project layout (diff) | |
download | refinery-39994e99591536e9519e92b447dfee240f482b99.tar.gz refinery-39994e99591536e9519e92b447dfee240f482b99.tar.zst refinery-39994e99591536e9519e92b447dfee240f482b99.zip |
Remove Eclipse-specific files
They can be re-generated by the BuildShip plugin anyways.
Diffstat (limited to '.settings/org.eclipse.core.resources.prefs')
-rw-r--r-- | .settings/org.eclipse.core.resources.prefs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/.settings/org.eclipse.core.resources.prefs b/.settings/org.eclipse.core.resources.prefs deleted file mode 100644 index 99f26c02..00000000 --- a/.settings/org.eclipse.core.resources.prefs +++ /dev/null | |||
@@ -1,2 +0,0 @@ | |||
1 | eclipse.preferences.version=1 | ||
2 | encoding/<project>=UTF-8 | ||