chiark / gitweb /
Merge pull request #708 from hg42/fix-missing-files-in-debian-packages
authordaid <daid303@gmail.com>
Mon, 20 Jan 2014 10:10:29 +0000 (02:10 -0800)
committerdaid <daid303@gmail.com>
Mon, 20 Jan 2014 10:10:29 +0000 (02:10 -0800)
fix debian packages (missing /usr/bin/cura and desktop file)


Trivial merge