From 9e89577de5f2421085bab9b8466007cb4b229e1b Mon Sep 17 00:00:00 2001 From: Andreas Abraham Date: Thu, 12 Nov 2020 09:55:18 +0100 Subject: removed old settings --- pdf-over-gui/.settings/org.eclipse.core.resources.prefs | 7 ------- 1 file changed, 7 deletions(-) delete mode 100644 pdf-over-gui/.settings/org.eclipse.core.resources.prefs (limited to 'pdf-over-gui/.settings/org.eclipse.core.resources.prefs') diff --git a/pdf-over-gui/.settings/org.eclipse.core.resources.prefs b/pdf-over-gui/.settings/org.eclipse.core.resources.prefs deleted file mode 100644 index 3ce90f38..00000000 --- a/pdf-over-gui/.settings/org.eclipse.core.resources.prefs +++ /dev/null @@ -1,7 +0,0 @@ -#Fri Aug 03 17:20:36 CEST 2012 -eclipse.preferences.version=1 -encoding//src/main/java=UTF-8 -encoding//src/main/resources=UTF-8 -encoding//src/test/java=UTF-8 -encoding//src/test/resources=UTF-8 -encoding/=UTF-8 -- cgit v1.2.3