diff options
| author |  jcater <jcater@google.com> | 2018-06-13 10:16:31 -0700 |
|---|---|---|
| committer |  Copybara-Service <copybara-piper@google.com> | 2018-06-13 10:17:48 -0700 |
| commit | bf57a0a9205e336c690e101ff1663c48e5f9679e (patch) | |
| tree | c438a95fb3d5254d6352704205917cebf58b2775 /src/main/java/com/google/devtools/build/lib/rules/genrule/GenRuleBaseRule.java | |
| parent | be440d2b015c805fcbbe209fae3108fdba793a33 (diff) | |
Add documentation on platform flags to the user manual.
PiperOrigin-RevId: 200410790
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/rules/genrule/GenRuleBaseRule.java')
0 files changed, 0 insertions, 0 deletions