diff options
| -rw-r--r-- | .mailmap | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -5,6 +5,7 @@ Adam Chlipala <adamc@csail.mit.edu> Adam Chlipala <adamc@csail.mit.edu> Adam Chlipala <adamc@csail.mit.edu> Adam Chlipala <adam@chlipala.net> 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> jadep <jade.philipoom@gmail.com> Jade Philipoom <jadep@mit.edu> jadep <jadep@mit.edu> |