Jan Scheer 46981a69f9 util: fix path (#2396) ...

suggest to clone into the path that `util/run-gnu-test.sh` will be using

2021-06-11 07:33:11 +02:00

..

build-code_coverage.BAT

maint/dev ~ improve code coverage scripting

2020-08-16 17:02:19 -05:00

build-code_coverage.sh

maint/dev ~ improve code coverage scripting

2020-08-16 17:02:19 -05:00

build-gnu.sh

util: fix path (#2396)

2021-06-11 07:33:11 +02:00

publish.sh

add an ugly script to publish the crates

2021-03-07 11:47:17 +01:00

rewrite_rules.rs

refactor ~ (utils) fix spelling + add spell-checker exceptions

2021-05-31 08:23:58 -05:00

run-gnu-test.sh

gnu/ci: allow to run a single gnu test (and document it)

2021-06-02 23:48:13 +02:00

show-code_coverage.BAT

maint/dev ~ improve code coverage scripting

2020-08-16 17:02:19 -05:00

show-code_coverage.sh

maint/dev ~ improve code coverage scripting

2020-08-16 17:02:19 -05:00

show-utils.BAT

build/dev ~ change show-utils; allow invokation from directories other than repo main

2020-05-30 22:14:46 -05:00

show-utils.sh

build/dev ~ change show-utils; allow invokation from directories other than repo main

2020-05-30 22:14:46 -05:00

test-repo-whitespace.BAT

docs ~ spell-check repairs and addition of exceptions

2020-05-30 01:36:02 -05:00

update-version.sh

refactor ~ (utils) fix spelling + add spell-checker exceptions

2021-05-31 08:23:58 -05:00