summaryrefslogtreecommitdiff
path: root/.settings/org.eclipse.core.resources.prefs
diff options
context:
space:
mode:
authorJakob Heher <jakob.heher@iaik.tugraz.at>2022-09-30 11:55:17 +0200
committerJakob Heher <jakob.heher@iaik.tugraz.at>2022-09-30 11:58:48 +0200
commit78f00b9678a7dfdf5b5c2750290dcd3c80265099 (patch)
tree1fea7e741f672d9607656187cac052d984768258 /.settings/org.eclipse.core.resources.prefs
parentfd24a56578a323715b844b610ba91a3bfd400342 (diff)
downloadpdf-over-78f00b9678a7dfdf5b5c2750290dcd3c80265099.tar.gz
pdf-over-78f00b9678a7dfdf5b5c2750290dcd3c80265099.tar.bz2
pdf-over-78f00b9678a7dfdf5b5c2750290dcd3c80265099.zip
delete eclipse settings that really should've never been part of the repo
Diffstat (limited to '.settings/org.eclipse.core.resources.prefs')
-rw-r--r--.settings/org.eclipse.core.resources.prefs2
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 @@
-eclipse.preferences.version=1
-encoding/<project>=UTF-8