diff options
| author | Cyril Cohen | 2020-12-04 10:29:16 +0100 |
|---|---|---|
| committer | GitHub | 2020-12-04 10:29:16 +0100 |
| commit | 7da602fb704b0f2286876f267b84a120d18dbed9 (patch) | |
| tree | 8f4ad24e22b5c352bae1cfe7cdc9af17f3c675bc /mathcomp/ssreflect | |
| parent | 59ea10f20602f7951e1794718dba3c830b0aefe2 (diff) | |
| parent | 3a758716af65299bd87cb682f93331794ba31c43 (diff) | |
Merge pull request #679 from CohenCyril/mailmap
adding entries to the mailmap
Diffstat (limited to 'mathcomp/ssreflect')
0 files changed, 0 insertions, 0 deletions