diff options
| -rwxr-xr-x | make-doc (renamed from gen-doc.bash) | 0 | ||||
| -rwxr-xr-x | make-test (renamed from run-tests.bash) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/run-tests.bash b/make-test index 08cdae7e..08cdae7e 100755 --- a/run-tests.bash +++ b/make-test |