diff Makefile @ 65:e24777e346e7

add a runner script for Xanthippe
author dirk@xanthippe.ping.de
date Thu, 29 Jul 2010 21:05:41 +0200
parents 9fa1e33b67da
children a34cb404cef3
line wrap: on
line diff