diff options
author | jadep <jade.philipoom@gmail.com> | 2016-07-21 18:07:14 -0400 |
---|---|---|
committer | jadep <jade.philipoom@gmail.com> | 2016-07-21 18:07:14 -0400 |
commit | e880359898151f81383844b602df0c6df7f88ad1 (patch) | |
tree | fcb6156e041e8b2ac30a8c465d1b4d1280d236f0 /.mailmap | |
parent | b9c708c7887a6abf8243c55a3d32f0d0305eb794 (diff) | |
parent | 7aa62e567ab15ac0ac11ed9d2a11333ba29084f0 (diff) |
Merge branch 'master' of github.com:mit-plv/fiat-crypto
Diffstat (limited to '.mailmap')
-rw-r--r-- | .mailmap | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -7,6 +7,7 @@ Adam Chlipala <adamc@csail.mit.edu> Adam Chlipala <adam@c Andres Erbsen <andreser@mit.edu> Andres Erbsen <andreser@mit.edu> Andres Erbsen <andreser@mit.edu> Andres Erbsen <andres@krutt.org> Jade Philipoom <jadep@mit.edu> Jade Philipoom <jadep@mit.edu> +Jade Philipoom <jadep@mit.edu> jadephilipoom <jade.philipoom@gmail.com> Jade Philipoom <jadep@mit.edu> jadep <jade.philipoom@gmail.com> Jade Philipoom <jadep@mit.edu> jadep <jadep@mit.edu> Jason Gross <jgross@mit.edu> Jason Gross <jagro@google.com> |