pierrotdelalune 3282d686bb More fix

2023-12-05 23:24:34 +01:00

..

dev.sh

Add environment variables to control scripts/dev.sh behavior

2019-10-09 19:33:27 +02:00

install.sh

Properly source require.sh

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

release.sh

More fix

2023-12-05 23:24:34 +01:00

require.sh

Fix typo

2023-08-19 07:18:13 +02:00

update.sh

Return a different code when git isn't installed

2019-06-14 11:28:23 +02:00