Mentions légales du service
Skip to content
GitLab
Explore
Sign in
CoqInterval
interval
Repository
interval
.mailmap
Find file
Blame
History
Permalink
Update .mailmap file.
· 761c6f20
Guillaume Melquiond
authored
May 09, 2018
761c6f20