diff .settings/org.eclipse.core.resources.prefs @ 191:7157bfd3f4d4

remove obsolete methods
author dirk
date Wed, 21 Sep 2011 13:21:17 +0200 (2011-09-21)
parents db35ab7753f0
children 460a3062c5e6
line wrap: on
line diff