chiark / gitweb /
Merge pull request #1147 from cscott/update-readme
authordaid <daid303@gmail.com>
Tue, 17 Feb 2015 20:00:26 +0000 (21:00 +0100)
committerdaid <daid303@gmail.com>
Tue, 17 Feb 2015 20:00:26 +0000 (21:00 +0100)
Update build instructions for Debian Linux.


Trivial merge