diff options
author | jcater <jcater@google.com> | 2017-05-30 17:58:06 +0200 |
---|---|---|
committer | László Csomor <laszlocsomor@google.com> | 2017-05-31 09:18:45 +0200 |
commit | a4d98591b9b9f6485523df3068063659004302ab (patch) | |
tree | 6ca7cd5dd57c132c19b6485ee966a246af25c14c /src/main/java/com/google/devtools/build | |
parent | 118cbe1a05b905a2c3ce9bafbe6f3d7f0c284d82 (diff) |
Add host platform definition that internal code can depend on.
Part of #2219.
PiperOrigin-RevId: 157469326
Diffstat (limited to 'src/main/java/com/google/devtools/build')
0 files changed, 0 insertions, 0 deletions