Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add new paths to env/clean.sh (#738)
There are a few new paths that we initialize in env/initialize.sh these days, and they should also be removed by env/clean.sh.
- Loading branch information