Skip to content

GitLab

why3
why3
Commit 5776bfc0 authored by Guillaume Melquiond's avatar Guillaume Melquiond
Browse files
Options

Update mailmap.

parent 14e70649
Hide whitespace changes
Inline Side-by-side
Showing with 1 addition and 0 deletions
.mailmap
View file @ 5776bfc0
......@@ -3,6 +3,7 @@ François Bobot <francois@bobot.eu> <francois.bobot@cea.fr>
Martin Clochard <martin.clochard@lri.fr> <martin@pc-stagiaire.(none)>
Martin Clochard <martin.clochard@lri.fr> <clochard@MC-MacBook.(none)>
Sylvain Dailler <dailler@adacore.com> <sdailler@hauzar@adacore.com>
Sylvain Dailler <dailler@adacore.com> <sylvain.dailler@inria.fr>
Jean-Christophe Filliâtre <jean-christophe.filliatre@lri.fr> <Jean-Christophe.Filliatre@lri.fr>
Jean-Christophe Filliâtre <jean-christophe.filliatre@lri.fr> <filliatr@lri.fr>
Jean-Christophe Filliâtre <jean-christophe.filliatre@lri.fr> <jc@evariste.(none)>
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment