diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-04-30 12:51:02 -0400 |
---|---|---|
committer | lianah <lianahady@gmail.com> | 2014-06-19 18:24:38 -0400 |
commit | fddd187f540cee675368813c0c1d51711a02fdc0 (patch) | |
tree | be6b4f6bdc731e13068d82cc31f32ccfa53bd4ab /.mailmap | |
parent | 95028e5424d08d2c921e6bb77320685e7161e736 (diff) |
Minor fixes, spelling etc.
Diffstat (limited to '.mailmap')
-rw-r--r-- | .mailmap | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -5,6 +5,8 @@ Dejan Jovanovic <dejan@cs.nyu.edu> <dejan.jovanovic@gmail.com> Francois Bobot <francois@bobot.eu> <francois@bobot.eu> Liana Hadarean <lianah@cs.nyu.edu> <lianahady@gmail.com> Andrew Reynolds <andrew.j.reynolds@gmail.com> <andrew.j.reynolds@gmail.com> +Andrew Reynolds <andrew.j.reynolds@gmail.com> <reynolds@laraserver2.epfl.ch> +Andrew Reynolds <andrew.j.reynolds@gmail.com> <reynolds@larapc05.epfl.ch> Cesare Tinelli <cesare-tinelli@uiowa.edu> <cesare-tinelli@uiowa.edu> Christopher L. Conway <christopherleeconway@gmail.com> <christopherleeconway@gmail.com> Clark Barrett <barrett@cs.nyu.edu> <barrett@cs.nyu.edu> |