Jérôme Rapinat d9dc79770d tweak changes for building .deb package, test with git revision

2014-02-04 20:04:11 +01:00

..

format

…

local-options

…