chiark / gitweb /
Merge pull request #342 from smorloc/master
authordaid <daid303@gmail.com>
Thu, 24 Jan 2013 14:05:11 +0000 (06:05 -0800)
committerdaid <daid303@gmail.com>
Thu, 24 Jan 2013 14:05:11 +0000 (06:05 -0800)
Fix for problems with new layout


Trivial merge