diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-10-18 23:57:54 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-10-18 23:57:54 -0400 |
| commit | 0a50617ad955a7a56d018a79c65a9157d2b25e44 (patch) | |
| tree | 20ff9fa8004ea0862c59a96a9c08fb82c32b19c2 /src/Util/ZUtil | |
| parent | 34683d1f31c13863464b4e508c7e8bd64254fd50 (diff) | |
Don't make autogenerated files in `coq`/default target
Only make them in the `specific` target
Diffstat (limited to 'src/Util/ZUtil')
0 files changed, 0 insertions, 0 deletions