diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2016-06-25 18:54:20 -0400 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2016-06-25 18:54:20 -0400 |
| commit | fb7b8555839b38a36ca877650b2198685f9ffa34 (patch) | |
| tree | 9acec02bed2c6367f848152f8ddf57fbeacab455 /_CoqProject | |
| parent | 37382028bef1b752482fb18c9550384e0e9bf0a9 (diff) | |
add closing parenthesis to "(and make"
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions