diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2016-06-25 19:16:34 -0400 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2016-06-25 19:16:34 -0400 |
| commit | 4360c60205d379f349cbfc6e8c0a691a0a4d45fc (patch) | |
| tree | f3ee7e1c73fe8482f4a76b1c7f7c976db1b6e105 /coqprime-8.4 | |
| parent | 2e96e2cab74d00b40188b00a4e90eeeaa1c46706 (diff) | |
update licensing information
Diffstat (limited to 'coqprime-8.4')
0 files changed, 0 insertions, 0 deletions