chiark / gitweb /
Merge pull request #39 from lawrencejohnston/master
authordaid <daid303@gmail.com>
Sun, 8 Apr 2012 17:47:51 +0000 (10:47 -0700)
committerdaid <daid303@gmail.com>
Sun, 8 Apr 2012 17:47:51 +0000 (10:47 -0700)
commit7d68441d7cb41630f839c80b221be0eda9b77574
tree2a82ffa658f86a13d0f8a69aa526b40ca6f4b05c
parentd0691018c211d1dbd500c0b3d363da8c5bd2f11d
parentd3bfafb2bd6d92db4a7116fd17ab6b939b7bed40
Merge pull request #39 from lawrencejohnston/master

Fixes for #37 and #38