diff options
| author | Théo Zimmermann | 2017-08-16 13:35:30 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2017-09-05 08:53:51 +0200 |
| commit | 402bfbb2a0da64eba62cb9e7c0e8ace1330879ea (patch) | |
| tree | b04b3b370e75a8e04e7b7948637c3e64547532f6 /API | |
| parent | 16b0b833a3cee070a207e2039bde0ae77b8774d4 (diff) | |
Update CREDITS on a best-effort basis.
And with help from https://github.com/coq/coq/graphs/contributors
Diffstat (limited to 'API')
0 files changed, 0 insertions, 0 deletions