diff options
| author |  lberki <lberki@google.com> | 2017-07-18 10:35:52 +0200 |
|---|---|---|
| committer |  Klaus Aehlig <aehlig@google.com> | 2017-07-18 11:41:22 +0200 |
| commit | f49468c9e65483b93fa3c956f66f5503eb3211cd (patch) | |
| tree | c10b2b1bfdf50d15a63615bdc5022b01897e85c0 /site | |
| parent | 52b4f68592df562dd9f1e28208a1bde72b86a721 (diff) | |
Add an undocumented option to remove the separation between the bin and genfiles directories.
RELNOTES: None.
PiperOrigin-RevId: 162325236
Diffstat (limited to 'site')
0 files changed, 0 insertions, 0 deletions