Sébastien Helleu e56c7e8c9b debian: disable Javascript plugin on Debian Buster/Bullseye (closes #1374)

2019-07-08 18:29:50 +02:00

..

debian/patches

debian: disable Javascript plugin on Debian Buster/Bullseye (closes #1374)

2019-07-08 18:29:50 +02: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