diff options
| author |  hlopko <hlopko@google.com> | 2018-06-26 09:47:04 -0700 |
|---|---|---|
| committer |  Copybara-Service <copybara-piper@google.com> | 2018-06-26 09:49:05 -0700 |
| commit | 26aaea260d970e2022a7bdc911a01aa3679e0f3a (patch) | |
| tree | 534cdbf053c8855b6c712dfbf82e9ec43dc2b4c9 /WORKSPACE | |
| parent | 15dab1879bd1b1245429e33804de39ab314ec026 (diff) | |
Remove support for header preprocessing
This was never used. We thought it will be useful, but it's not.
RELNOTES: None.
PiperOrigin-RevId: 202143524
Diffstat (limited to 'WORKSPACE')
0 files changed, 0 insertions, 0 deletions