diff options
| author |  Robert Sloan <varomodt@gmail.com> | 2015-10-22 13:09:00 -0400 |
|---|---|---|
| committer | Robert Sloan <varomodt@gmail.com> | 2015-10-22 13:09:00 -0400 |
| commit | 0157831fb029ed8ceee25583fbf936b310c18c7d (patch) | |
| tree | 5094d46c53d6504faa8197153656c9e7ef2de0a6 /_CoqProject | |
| parent | cf9d1330a883d6ecf5afd43e96b086f4f99bf7e1 (diff) | |
| parent | 200dbd2af724fb331c210e7282c862e142df16ab (diff) | |
fix the makefile to not rebuild + module renaming
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions