From 752b3c22a73b593fcc367e18caccc46a28e7c6c6 Mon Sep 17 00:00:00 2001
From: "jan.nijtmans" <nijtmans@users.sourceforge.net>
Date: Thu, 25 Jun 2015 08:05:18 +0000
Subject: revert unintended change of
 .settings/org.eclipse.core.resources.prefs in previous commit

---
 .settings/org.eclipse.core.resources.prefs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.settings/org.eclipse.core.resources.prefs b/.settings/org.eclipse.core.resources.prefs
index 370ae2c..99f26c0 100644
--- a/.settings/org.eclipse.core.resources.prefs
+++ b/.settings/org.eclipse.core.resources.prefs
@@ -1,2 +1,2 @@
 eclipse.preferences.version=1
-encoding/<project>=ISO-8859-1
+encoding/<project>=UTF-8
-- 
cgit v0.12