Georges Dupéron 3856bfd6dd 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
..
ansi-screenshots	Remove temporary files upon success (still to do: make sure they are also removed on failure)	2018-06-30 16:56:39 +02:00
auto-push.sh	Replace indirect expansion by a nested shell invocation, to avoid having a dependency on bash	2018-06-30 18:22:50 +02:00
gui-wrapper.sh	Take better screenshots; reorganized files	2018-06-29 08:54:45 +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	Deploy screenshots	2018-06-30 18:04:45 +02:00