diff .settings/org.eclipse.core.resources.prefs @ 67:c3f2b11e7420

maintain a better TODO list
author Dirk Olmes <dirk@xanthippe.ping.de>
date Mon, 02 Aug 2010 02:43:41 +0200
parents db35ab7753f0
children 460a3062c5e6
line wrap: on
line diff