chiark / gitweb /
Merge pull request #861 from cederom/SteamEngine
authordaid <daid303@gmail.com>
Wed, 4 Jun 2014 09:55:46 +0000 (11:55 +0200)
committerdaid <daid303@gmail.com>
Wed, 4 Jun 2014 09:55:46 +0000 (11:55 +0200)
Fixed package.sh script interpreter invocation.


Trivial merge