Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
update get_all_static_data.sh script to grab v7.0.0-beta release asse…
…ts (with new DEPHY-format processed_case_input files)
- Loading branch information