diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2018-03-26 19:36:26 -0400 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2018-03-27 09:20:46 -0400 |
| commit | 39ca7c56d4d2f50f19ab50d55bf6f836ae4cfe4f (patch) | |
| tree | 14ff3eb6a60f04b8246ef93e102361360d94209a /_CoqProject | |
| parent | ff97b19808c081d3923573eaf69549a361b94195 (diff) | |
cleanup2
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions