Matthias Baur 7c553a6017 Properly source require.sh ...

Fixes #3571.

2019-03-12 15:44:38 +01:00

..

dev.sh

Properly source require.sh

2019-03-12 15:44:38 +01:00

install.sh

Properly source require.sh

2019-03-12 15:44:38 +01:00

release.sh

Jump to 2.3.6-dev and update release process

2018-12-15 08:14:47 +01:00

require.sh

Makefile fixes for non GNU systems

2018-08-18 18:50:18 +10:00

update.sh

Properly source require.sh

2019-03-12 15:44:38 +01:00