diff -r 5a0cec699f70 -r 5fde1070d998 .settings/org.eclipse.core.resources.prefs
--- /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