.settings/org.eclipse.core.resources.prefs
author veltr
Mon, 09 Sep 2013 18:13:02 +0200
changeset 105 d9434a9d7130
parent 94 5fde1070d998
child 107 e30c9bfaf945
permissions -rw-r--r--
New style menu

eclipse.preferences.version=1
encoding//src/jocondelab/migrations/0005_auto__add_termlinks__add_dbpediafields.py=utf-8