Sylvestre Ledru d72a135b42 improve the publish script		2021-10-24 00:51:27 +02:00
..
build-code_coverage.BAT
build-code_coverage.sh	Make scripts executable	2021-08-28 02:26:01 +02:00
build-gnu.sh	Fix need for ssh keys	2021-10-09 23:01:05 -05:00
compare_gnu_result.py	Make scripts executable	2021-08-28 02:26:01 +02:00
GHA-delete-GNU-workflow-logs.sh	Make scripts executable	2021-08-28 02:26:01 +02:00
publish.sh	improve the publish script	2021-10-24 00:51:27 +02:00
rewrite_rules.rs
run-gnu-test.sh	GNU tests: make script runnable from any directory	2021-08-28 02:26:01 +02:00
show-code_coverage.BAT
show-code_coverage.sh	Make scripts executable	2021-08-28 02:26:01 +02:00
show-utils.BAT
show-utils.sh
test-repo-whitespace.BAT
update-version.sh	Prepare version 0.0.8	2021-10-23 19:21:50 +02:00