diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-01-07 22:31:45 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-01-07 22:31:45 -0500 |
| commit | 2be07ddb13ef6f1c613d2ff2676ab73f12dcd576 (patch) | |
| tree | 399199162b7e685c43749f6bbaf90fbc49a48988 /Makefile | |
| parent | 0c9d07989d2e17124e15513a836139b1bd4a8748 (diff) | |
update-_CoqProject
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions