comparison .settings/org.eclipse.core.resources.prefs @ 0:8190d724dc01

first release
author dwinter
date Mon, 23 Jul 2012 09:48:23 +0200
parents
children
comparison
equal deleted inserted replaced
-1:000000000000 0:8190d724dc01
1 eclipse.preferences.version=1
2 encoding//dottoxml/src/dot.py=latin1
3 encoding//dottoxml/src/dottoxml.py=latin1