Jeremy Benoist a03c4d90b2 Jump to 2.3.5-dev and update release process ...

After the latest release, I update the documentation about it so it’s more clear

2018-11-25 09:43:21 +01:00

..

dev.sh

Makefile fixes for non GNU systems

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

install.sh

Merge pull request #3733 from Deuchnord/root-abort-update

2018-10-17 11:26:12 +02:00

release.sh

Jump to 2.3.5-dev and update release process

2018-11-25 09:43:21 +01:00

require.sh

Makefile fixes for non GNU systems

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

update.sh

Merge pull request #3733 from Deuchnord/root-abort-update

2018-10-17 11:26:12 +02:00