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)
commit4130853ced326ae078513fc699b6717ebe035ca5
treeac6c0f826ffc02f25449d3fb3fc1a649333c2e3a
parentb08024864839331101e7fcfe994d7f8a3da1b194
parentcad5160a28388e9afece96a9aff9d0527bfa1a45
Merge pull request #922 from qbit/SteamEngine

update build reqs and add profiles for RigidBot and RigidBotBig