Sébastien Helleu 340d6646a6 javascript: disable build by default and remove Debian packaging of JavaScript plugin (issue #360)

2020-06-13 14:34:13 +02:00

..

debian/patches

javascript: disable build by default and remove Debian packaging of JavaScript plugin (issue #360)

2020-06-13 14:34:13 +02:00

build-debian.sh

core: update copyright dates

2020-01-04 10:41:26 +01:00

build-test.sh

javascript: disable build by default and remove Debian packaging of JavaScript plugin (issue #360)

2020-06-13 14:34:13 +02:00

git-version.sh

core: update copyright dates

2020-01-04 10:41:26 +01:00

makedist.sh

core: update copyright dates

2020-01-04 10:41:26 +01:00