diff .settings/org.eclipse.core.resources.prefs @ 37:ca608b31ec8d

anker fuer direkte spruenge in thesaurus
author dwinter
date Thu, 24 Oct 2013 15:32:28 +0200
parents b2e4605f20b2
children
line wrap: on
line diff