diff .settings/org.eclipse.core.resources.prefs @ 237:5bbb1e707e56

add maintainance script
author Dirk Olmes <dirk@xanthippe.ping.de>
date Thu, 23 Apr 2015 07:59:19 +0200
parents 460a3062c5e6
children
line wrap: on
line diff