diff options
| author |  steren <steren@google.com> | 2017-05-21 14:32:03 +0200 |
|---|---|---|
| committer |  Irina Iancu <elenairina@google.com> | 2017-05-22 14:40:20 +0200 |
| commit | bbb9bbc84a826345f118b0d94f337165a341af30 (patch) | |
| tree | 4fca6ef41dcc0ecfd3e8a79a6931dbb28e268b9e /src/main/java/com/google/devtools/build/lib/rules/cpp/CcIncLibrary.java | |
| parent | c4a8e91b9079933b242a492372ce59b0342a41c5 (diff) | |
Fix Edit button style.
Fix #3028
tested: locally with ./scripts/serve-docs.sh
PiperOrigin-RevId: 156674683
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/rules/cpp/CcIncLibrary.java')
0 files changed, 0 insertions, 0 deletions