.settings/org.eclipse.core.resources.prefs
changeset 94 5fde1070d998
child 107 e30c9bfaf945
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.settings/org.eclipse.core.resources.prefs	Mon Aug 19 18:57:01 2013 +0200
@@ -0,0 +1,2 @@
+eclipse.preferences.version=1
+encoding//src/jocondelab/migrations/0005_auto__add_termlinks__add_dbpediafields.py=utf-8