Luc Didry 488e3d7a91 Add environment variables to control scripts/dev.sh behavior		2019-10-09 19:33:27 +02:00
..
dev.sh	Add environment variables to control scripts/dev.sh behavior	2019-10-09 19:33:27 +02:00
install.sh	…
release.sh	…
require.sh	…
update.sh	Return a different code when git isn't installed	2019-06-14 11:28:23 +02:00