diff options
| author |  cushon <cushon@google.com> | 2017-04-20 17:39:01 +0200 |
|---|---|---|
| committer |  Vladimir Moskva <vladmos@google.com> | 2017-04-24 16:47:48 +0200 |
| commit | 3ead6bbefb9f248d712e5ef65ff3cefb920f5ddb (patch) | |
| tree | 2a92d68589e887bdf43d4518a1cbdbc83c3c64e9 /src/combine_derived_java_srcs.sh | |
| parent | 3f5442da4f9b8d4e01bf80ea134c05245e6551e0 (diff) | |
Remove --microcoverage support
This feature is unused and depends on emma, which is obsolete.
PiperOrigin-RevId: 153713051
Diffstat (limited to 'src/combine_derived_java_srcs.sh')
0 files changed, 0 insertions, 0 deletions