diff Ui_Preferences.ui @ 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 e8c2730eb444
line wrap: on
line diff