Makefile.in | 39 26 + 13 - 0 !
configure | 1 1 + 0 - 0 !
src/leon/Makefile.in | 8 8 + 0 - 0 !
3 files changed, 35 insertions(+), 13 deletions(-)

 debianization
 Meant to maintain a minimal debian/rules, to fix annoying
 warnings, to address Debian specific stuff in general.