Sébastien Helleu 8ab6422520 debian: switch to Guile 2.2 in Debian build ... Guile 2.2 is now used by default in Debian/Ubuntu builds, except on these old distribution versions where only Guile 2.0 is available: - Debian Stretch - Debian Jessie - Debian Wheezy - Ubuntu Xenial - Ubuntu Trusty		2019-09-25 20:58:22 +02:00
..
debian/patches	debian: switch to Guile 2.2 in Debian build	2019-09-25 20:58:22 +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