chiark / gitweb /
Merge pull request #99 from PyroMani/master
authordaid <daid303@gmail.com>
Fri, 11 May 2012 07:54:53 +0000 (00:54 -0700)
committerdaid <daid303@gmail.com>
Fri, 11 May 2012 07:54:53 +0000 (00:54 -0700)
Fixes #91, #94, #95


Trivial merge