diff options
| author |  Jason Gross <jgross@mit.edu> | 2016-11-17 22:22:25 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2016-11-17 22:22:39 -0500 |
| commit | 2045f9ffb67c72363871c7cae2a1d1fb996e0306 (patch) | |
| tree | c7aa7fb251eed18d05f77b530c3399ab4100f73b /src/Specific | |
| parent | 92f64f828136f04ca88670303cd028f6f6cc7553 (diff) | |
Copy bounds
```bash
$ pushd src/SpecificGen; pushd
$ pushd && for i in *.json; do ./copy_bounds.sh $i; done && pushd
```
Diffstat (limited to 'src/Specific')
0 files changed, 0 insertions, 0 deletions