changeset 1:d31284559855

add run.sh
author Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
date Tue, 11 Feb 2014 09:55:09 +0900
parents beab26065b3c
children 3a090e9b9816
files run.sh
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/run.sh	Tue Feb 11 09:55:09 2014 +0900
@@ -0,0 +1,1 @@
+mighty example.conf example.route +RTS -N4