commit | 5c517f5ae9149abeee629e44c035af0ad07d7706 | [log] [tgz] |
---|---|---|
author | Vladimir Marko <vmarko@google.com> | Wed Feb 05 15:41:18 2020 +0000 |
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Wed Feb 05 15:41:18 2020 +0000 |
tree | 18fa3b5ccf0d573de4f030bb2ac8f5af6af7a03a | |
parent | f5f137b9d3d9ac262b3ed2245f03390fe911678a [diff] | |
parent | a2fc49d54dfa415e227cbd1b72d40ccba1582bde [diff] |
Merge "Clean up options for ART runtime."