chiark / gitweb /
Merge pull request #43 from PyroMani/master
authordaid <daid303@gmail.com>
Sun, 8 Apr 2012 20:49:21 +0000 (13:49 -0700)
committerdaid <daid303@gmail.com>
Sun, 8 Apr 2012 20:49:21 +0000 (13:49 -0700)
Fixes #1 issue


Trivial merge