diff options
| author |  Branton Horsley <bhorsley@google.com> | 2018-06-15 16:10:07 -0700 |
|---|---|---|
| committer |  Copybara-Service <copybara-piper@google.com> | 2018-06-15 16:11:28 -0700 |
| commit | 24e8f297ed7402377cfae6c9f7a1620dd62b4208 (patch) | |
| tree | dc61e66f34fbe9a21980000d63755b4daa51a9a5 /src/main/java/com/google/devtools/build/lib/analysis/config/BuildConfiguration.java | |
| parent | 6caac8537902d9ee07c993d05472b01165d528e1 (diff) | |
Add Missing RobotoDraft-700 font to docs
Fixed bug where \<strong\> tags were being improperly rendered
Closes #5414.
PiperOrigin-RevId: 200789831
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/analysis/config/BuildConfiguration.java')
0 files changed, 0 insertions, 0 deletions