chiark / gitweb /
Merge pull request #337 from hroncok/master
authordaid <daid303@gmail.com>
Mon, 21 Jan 2013 14:48:31 +0000 (06:48 -0800)
committerdaid <daid303@gmail.com>
Mon, 21 Jan 2013 14:48:31 +0000 (06:48 -0800)
Redone launcher from Bash to Python


Trivial merge