chiark / gitweb /
Merge pull request #50 from PyroMani/master
authordaid <daid303@gmail.com>
Wed, 11 Apr 2012 21:55:05 +0000 (14:55 -0700)
committerdaid <daid303@gmail.com>
Wed, 11 Apr 2012 21:55:05 +0000 (14:55 -0700)
Fixes #49 issue


Trivial merge