comparison .settings/org.eclipse.core.resources.prefs @ 65:e24777e346e7

add a runner script for Xanthippe
author dirk@xanthippe.ping.de
date Thu, 29 Jul 2010 21:05:41 +0200
parents db35ab7753f0
children 460a3062c5e6
comparison
equal deleted inserted replaced
64:d21f5025034d 65:e24777e346e7