#148 PR merged: Smaller changes in Makefiles as preperation for Debian packaging¶

Labels: cleanup

thumm opened issue at 2012-08-28 08:12:¶

---

[Export of Github issue for rear/rear.]