debian/dirs: remove entries already created by the upstream Makefile
authorAntonio Ospite <ospite@studenti.unina.it>
Tue, 19 Nov 2013 14:12:44 +0000 (15:12 +0100)
committerAntonio Ospite <ospite@studenti.unina.it>
Tue, 19 Nov 2013 14:12:44 +0000 (15:12 +0100)
commit786456b3cf5b28d0b97da8b2337bee446c2e2b29
tree52b03ced55eb4e5f7cf13950cb16602caa070d98
parent7f33597382d7c93110b39a882fb8e39ff3fc4872
debian/dirs: remove entries already created by the upstream Makefile
debian/dirs [deleted file]