chiark / gitweb /
Merge pull request #377 from dylanwinn/master
authordaid <daid303@gmail.com>
Mon, 18 Mar 2013 10:21:39 +0000 (03:21 -0700)
committerdaid <daid303@gmail.com>
Mon, 18 Mar 2013 10:21:39 +0000 (03:21 -0700)
Fixed errors in Debian packaging.


Trivial merge