comparison .settings/org.eclipse.core.resources.prefs @ 21:a3f9a9ecdd42 default tip

UTF-8 problem bei AddConeIds solved Neue Funktion zum Austuschen der Cone id'S beim editor
author dwinter
date Mon, 28 Oct 2013 14:53:43 +0100
parents a844f6948dd8
children
comparison
equal deleted inserted replaced
20:d1f63ee9998d 21:a3f9a9ecdd42