Jérôme Rapinat d9dc79770d tweak changes for building .deb package, test with git revision		2014-02-04 20:04:11 +01:00
..
format	tweak changes for building .deb package, test with git revision	2014-02-04 20:04:11 +01:00
local-options