chiark / gitweb /
Merge pull request #922 from qbit/SteamEngine
authordaid <daid303@gmail.com>
Sat, 2 Aug 2014 18:17:09 +0000 (20:17 +0200)
committerdaid <daid303@gmail.com>
Sat, 2 Aug 2014 18:17:09 +0000 (20:17 +0200)
update build reqs and add profiles for RigidBot and RigidBotBig


Trivial merge