Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix to Derecho script so it will run run_scm.py in the directory the …
…batch script was called from
- Loading branch information