Files
Davide Pesavento 7eaed5cd3f Update build system and CI scripts
Change-Id: I4894a30d0cfc7af5de1d272edb70ce9cc4b6d372
2019-01-09 21:14:02 -05:00

3 lines
107 B
Plaintext

<davidepesa@gmail.com> <davide.pesavento@lip6.fr>
<enewberry@email.arizona.edu> <enewberry@cs.arizona.edu>