diff options
author | jadep <jade.philipoom@gmail.com> | 2016-06-17 23:50:09 -0400 |
---|---|---|
committer | jadep <jade.philipoom@gmail.com> | 2016-06-17 23:50:09 -0400 |
commit | 10787528349ef926b09acb219d1fd6acd1e041e7 (patch) | |
tree | ff8fb23d6f899def7a24dfb9fc06f9ed9c6997db /.mailmap | |
parent | d81a299db761650b6c9405cd19335cb54ea0b2ad (diff) | |
parent | 7dc373e4c82f3e7a37832321abc9057cb55348f2 (diff) |
Merge branch 'master' of github.mit.edu:plv/fiat-crypto
Diffstat (limited to '.mailmap')
-rw-r--r-- | .mailmap | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/.mailmap b/.mailmap new file mode 100644 index 000000000..7c61488f3 --- /dev/null +++ b/.mailmap @@ -0,0 +1,18 @@ +## This file allows joining different accounts of a single person. +## Cf for instance: git shortlog -nse. More details via: man git shortlog + +# having the same name <email> name <email> on a line will fix capitalization +Adam Chlipala <adamc@csail.mit.edu> Adam Chlipala <adamc@csail.mit.edu> +Adam Chlipala <adam@chlipala.net> Adam Chlipala <adamc@csail.mit.edu> +Andres Erbsen <andreser@mit.edu> Andres Erbsen <andreser@mit.edu> +Jade Philipoom <jadep@mit.edu> Jade Philipoom <jadep@mit.edu> +jadep <jade.philipoom@gmail.com> Jade Philipoom <jadep@mit.edu> +jadep <jadep@mit.edu> Jade Philipoom <jadep@mit.edu> +Jason Gross <jgross@mit.edu> Jason Gross <jgross@mit.edu> +Robert Sloan <varomodt@gmail.com> Robert Sloan <varomodt@gmail.com> +Robert Sloan <varomodt@Roberts-MacBook.local> Robert Sloan <varomodt@gmail.com> +Robert Sloan <rsloan@sumologic.com> Robert Sloan <varomodt@gmail.com> +Robert Sloan <varomodt@dhcp-18-189-26-21.dyn.MIT.EDU> Robert Sloan <varomodt@gmail.com> +Robert Sloan <varomodt@dhcp-18-189-51-40.dyn.MIT.EDU> Robert Sloan <varomodt@gmail.com> +Rob Sloan <varomodt@gmail.com> Robert Sloan <varomodt@gmail.com> +varomodt <varomodt@localhost.localdomain> Robert Sloan <varomodt@gmail.com> |