aboutsummaryrefslogtreecommitdiffstats
path: root/language-ide/.settings/org.eclipse.core.resources.prefs
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <kristof@marussy.com>2021-06-27 14:28:35 +0200
committerLibravatar Kristóf Marussy <kristof@marussy.com>2021-06-27 14:28:35 +0200
commit39994e99591536e9519e92b447dfee240f482b99 (patch)
treee2d2ead9c6555be2208a50dbefeb7bc98cc43175 /language-ide/.settings/org.eclipse.core.resources.prefs
parentSimplify project layout (diff)
downloadrefinery-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 'language-ide/.settings/org.eclipse.core.resources.prefs')
-rw-r--r--language-ide/.settings/org.eclipse.core.resources.prefs2
1 files changed, 0 insertions, 2 deletions
diff --git a/language-ide/.settings/org.eclipse.core.resources.prefs b/language-ide/.settings/org.eclipse.core.resources.prefs
deleted file mode 100644
index 99f26c02..00000000
--- a/language-ide/.settings/org.eclipse.core.resources.prefs
+++ /dev/null
@@ -1,2 +0,0 @@
1eclipse.preferences.version=1
2encoding/<project>=UTF-8