diff options
| author |  Jason Gross <jgross@mit.edu> | 2018-03-07 12:51:06 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2018-03-07 12:51:06 -0500 |
| commit | 291dcc2fd37e2338aafa5f5d9c5db70c2af07c12 (patch) | |
| tree | 02e7fac5ddb2d69cb712aa022f7e690428a9ec7c /_CoqProject | |
| parent | db92a67edea0400c3701109eb30b515f4292763f (diff) | |
Don't use deprecated compat notations in ZUtil
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions