commit | cb74a694e7f5789e9256d2048f85891b48c5c75f | [log] [tgz] |
---|---|---|
author | Sebastien Hertz <shertz@google.com> | Fri May 20 10:13:56 2016 +0200 |
committer | Sebastien Hertz <shertz@google.com> | Mon May 23 10:33:42 2016 +0200 |
tree | 85cd4ad7af55affcc17d9615c259fe314e48169e | |
parent | 4a9079b99dec693642efe509306cf334f3f46b07 [diff] |
Manage coverage plugin version Also clean up the build.xml file. Change-Id: If44434f5845ba69e4bd8e515e1e100ed7d7d49bf