debian/clean
author Julien Cristau <julien.cristau@logilab.fr>
Wed, 15 Jul 2015 11:47:16 +0200
changeset 769 d7388ac617bb
permissions -rw-r--r--
[pkg] Fix debian clean rule

gecode_version