chiark / gitweb /
Merge pull request #81 from PyroMani/master
authordaid <daid303@gmail.com>
Sat, 28 Apr 2012 16:29:15 +0000 (09:29 -0700)
committerdaid <daid303@gmail.com>
Sat, 28 Apr 2012 16:29:15 +0000 (09:29 -0700)
Fixes #80


Trivial merge