Georges Dupéron 96727b4241 Enable error-detection (set -e) in all .sh scripts		2018-07-03 15:06:32 +02:00
..
ansi-screenshots	Enable error-detection (set -e) in all .sh scripts	2018-07-03 15:06:32 +02:00
auto-push.sh	allow empty commits when deploying	2018-07-02 22:43:11 +02:00
gui-wrapper.sh	Enable error-detection (set -e) in all .sh scripts	2018-07-03 15:06:32 +02:00
make-travis-key.sh	Fix nonsense in make-travis-key: the public key was encrypted, instead of the private key, and had the wrong name anyway.	2018-06-30 18:26:52 +02:00
take-screenshots.sh	Enable error-detection (set -e) in all .sh scripts	2018-07-03 15:06:32 +02:00