Sébastien Helleu a36e17abf9 debian: disable javascript plugin on Debian Sid and Ubuntu Eoan		2019-11-11 08:38:05 +01:00
..
debian/patches	debian: disable javascript plugin on Debian Sid and Ubuntu Eoan	2019-11-11 08:38:05 +01:00
build-debian.sh	core: update copyright dates	2019-01-01 15:40:51 +01:00
build-test.sh	core: move coverage.info in parent directory	2019-03-29 23:01:27 +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