diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-04-09 12:16:58 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-04-09 12:16:58 -0400 |
| commit | 2ad2524dba1321e3facdba3c1142e7e7fbbe1634 (patch) | |
| tree | c606dbf9521ee3660189ec094e05ccd0938e452b /etc | |
| parent | 8a854f7c39222ba103c776b1b0ab52339fad7dbc (diff) | |
Fix vo_reverse_closure
Diffstat (limited to 'etc')
| m--------- | etc/coq-scripts | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/etc/coq-scripts b/etc/coq-scripts -Subproject 5c40045ad133614832b9a84eba436c98c93bc58 +Subproject 878fffa6abdb29db903ccce680b937df7a4f04f |