diff options
| author |  Manuel Klimek <klimek@google.com> | 2015-11-17 09:42:31 +0000 |
|---|---|---|
| committer |  Damien Martin-Guillerez <dmarting@google.com> | 2015-11-17 10:53:20 +0000 |
| commit | f820bfdf119843f1f09b0e72c5dffcdb9c0acaa0 (patch) | |
| tree | 934d19dcfece73db61e5b1c40e81ef4e8f70402e /src/main/java/com/google/devtools/build/docgen/Page.java | |
| parent | eaaa9d0d76a880fc1df1ce818c92b526b2b282c2 (diff) | |
Adapt blaze 'features' documentation to link to the crosstool's feature
documentation.
--
MOS_MIGRATED_REVID=108019887
Diffstat (limited to 'src/main/java/com/google/devtools/build/docgen/Page.java')
0 files changed, 0 insertions, 0 deletions