chiark / gitweb /
Merge pull request #1038 from marvinstuart/patch-2
authordaid <daid303@gmail.com>
Fri, 12 Dec 2014 08:42:27 +0000 (09:42 +0100)
committerdaid <daid303@gmail.com>
Fri, 12 Dec 2014 08:42:27 +0000 (09:42 +0100)
commit25de93ec199321a4f0e7edb5ea0546761b712681
treeb5044efbf18306399cfbecdca58cacdb8e0a320d
parent3f610ddc9cfca4da790abc415cf5054050ae4c82
parent0e62756d0e96aae7f63522b9d590f627130680c9
Merge pull request #1038 from marvinstuart/patch-2

Update RigidBot.ini