diff options
-rw-r--r-- | .gitignore | 1 | ||||
-rwxr-xr-x | util/run_beta_test (renamed from util/run_beta_test1) | 0 |
2 files changed, 0 insertions, 1 deletions
@@ -1,4 +1,3 @@ js/derivation_editor -util/run_beta_test logs/ diff --git a/util/run_beta_test1 b/util/run_beta_test index a0fe20f..a0fe20f 100755 --- a/util/run_beta_test1 +++ b/util/run_beta_test |