Sébastien Helleu 8629bf4b06 debian: switch debhelper compatibility to 12		2019-01-08 22:07:10 +01:00
..
debian/patches	debian: switch debhelper compatibility to 12	2019-01-08 22:07:10 +01:00
build-debian.sh	core: update copyright dates	2019-01-01 15:40:51 +01:00
build-test.sh	core: update copyright dates	2019-01-01 15:40:51 +01:00
git-version.sh	core: update copyright dates	2019-01-01 15:40:51 +01:00
makedist.sh	core: update copyright dates	2019-01-01 15:40:51 +01:00