diff options
author | Jason Gross <jagro@google.com> | 2016-07-22 12:58:36 -0700 |
---|---|---|
committer | Jason Gross <jagro@google.com> | 2016-07-22 12:58:36 -0700 |
commit | 5d7b2bc9a4e902d3c3aa7a3625ffda6eb127011f (patch) | |
tree | 3bad9377c664e376996a0549bd8a1d9b628b1f38 /_CoqProject | |
parent | 29bb3dd531be45ba7960b34ef759b44436e48905 (diff) |
Revert "Add more ZUtil automation"
This reverts commit 29bb3dd531be45ba7960b34ef759b44436e48905.
[intuition] is stupid and terrible. Fix upcoming.
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions