removed eclipse prefs

Author: jurgenvinju

.settings/org.eclipse.core.resources.prefs

@@ -4,7 +4,6 @@ encoding//src/org/rascalmpl/library/experiments/vis2/lib/MarkdownConverter.js=UT
 encoding//src/org/rascalmpl/library/experiments/vis2/lib/nv.d3.css=UTF-8
 encoding//src/org/rascalmpl/library/experiments/vis2/lib/nv.d3.js=UTF-8
 encoding//src/org/rascalmpl/library/experiments/vis2/lib/reset.css=UTF-8
-encoding//src/org/rascalmpl/library/lang/rascal/tests/functionality/DataType.rsc=UTF-8
 encoding//test/org/rascalmpl/test/data=UTF-8
 encoding/<project>=UTF-8
 encoding/src=UTF-8