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/gen-doc.bash b/make-doc index a4ee095b6..a4ee095b6 100755 --- a/gen-doc.bash +++ b/make-doc diff --git a/run-tests.bash b/make-test index 08cdae7e1..08cdae7e1 100755 --- a/run-tests.bash +++ b/make-test |