diff options
| author |  Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-01-02 16:03:13 +0100 |
|---|---|---|
| committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-02-21 18:13:07 +0100 |
| commit | 31af3352b0faf2928b6dd0b58530a4332eccf7a8 (patch) | |
| tree | 07c6b3a25c493752f0de81ee2e60294f4134f390 /ide/ide.mllib | |
| parent | 3457327ab61bff61df6c90d2b612d40fee99ccf7 (diff) | |
Update CREDITS.
In particular, add a mention of SSReflect.
Diffstat (limited to 'ide/ide.mllib')
0 files changed, 0 insertions, 0 deletions