This repository has been archived on 2023-02-21. You can view files and clone it, but cannot push or open issues or pull requests.

Jérôme Schneider 8319aa1103 Add 'debian/' from commit '67daf5ecd78eda2f3c4da0eaa4da49d631e433d4' ... git-subtree-dir: debian git-subtree-mainline: 36fa31b53e git-subtree-split: 67daf5ecd7		2015-04-03 10:20:49 +02:00
..
format	Add 'debian/' from commit '67daf5ecd78eda2f3c4da0eaa4da49d631e433d4'	2015-04-03 10:20:49 +02:00