Update JDT settings.
authorBen Konrath <ben@bagu.org>
Thu, 17 Feb 2011 16:44:05 +0000 (17:44 +0100)
committerBen Konrath <ben@bagu.org>
Thu, 17 Feb 2011 16:44:05 +0000 (17:44 +0100)
commit6a2fdc9b07c110bc8af467092cbfc77bb71ebee4
tree64e6696d5c7ccc126eb9ad4e6fb9cdfde9db9d88
parentd7ef22007e58e05d9c49a69a21ab4c37e9d0428c
Update JDT settings.

* .settings/org.eclipse.jdt.core.prefs:
.settings/org.eclipse.jdt.core.prefs
ChangeLog