Skip to content

Fix a minor bug in the runtests.sh.#216

Merged
baentsch merged 1 commit intomainfrom unknown repositoryJul 18, 2023

Commits

Commits on Jul 17, 2023