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 d4a58a57d0 Add 'debian/' from commit '768b878625386e0ed6534a61738903ae02ea71a8' ... git-subtree-dir: debian git-subtree-mainline: c1e728d0cb git-subtree-split: 768b878625		2015-04-03 10:25:03 +02:00
..
format	Add 'debian/' from commit '768b878625386e0ed6534a61738903ae02ea71a8'	2015-04-03 10:25:03 +02:00