view .settings/org.eclipse.core.resources.prefs @ 7:768ade75c895 default tip

ontologies added
author dwinter
date Tue, 07 Aug 2012 14:06:53 +0200
parents 8190d724dc01
children
line wrap: on
line source

eclipse.preferences.version=1
encoding//dottoxml/src/dot.py=latin1
encoding//dottoxml/src/dottoxml.py=latin1