tree dd1ac62da9bd8e85c7b825c0a883451ccfe3bf0b
parent 9198f4036490474c1da49b36628f94e6d6150f86
parent ee6f84f43292f5365852e83d76ba4a66da5257ba
author Dan Willemsen <dwillemsen@google.com> 1535672214 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1535672214 +0000

Merge "Expose the platform tools version as a C header"