| commit | 7eaed5cd3f5b42b7280897c68ab2e9c0dcd74141 | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Wed Jan 09 20:03:43 2019 -0500 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Wed Jan 09 21:14:02 2019 -0500 |
| tree | d435eb04d97d31722f703206f0f3e4d706f3a631 | |
| parent | 51459409bdc2c70fe7804eb6df7a0917cb0c1259 [diff] [blame] |
Update build system and CI scripts Change-Id: I4894a30d0cfc7af5de1d272edb70ce9cc4b6d372
diff --git a/.mailmap b/.mailmap new file mode 100644 index 0000000..dcfcd6a --- /dev/null +++ b/.mailmap
@@ -0,0 +1,2 @@ +<davidepesa@gmail.com> <davide.pesavento@lip6.fr> +<enewberry@email.arizona.edu> <enewberry@cs.arizona.edu>