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