aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools
diff options
context:
space:
mode:
authorGravatar Klaus Aehlig <aehlig@google.com>2016-06-30 14:35:54 +0000
committerGravatar Lukacs Berki <lberki@google.com>2016-07-01 07:08:57 +0000
commit583c46160fcc3cbf185550aa7013ed7a8d3a39c6 (patch)
tree0c940cba92b20177cb36ecd09e96464d36189e80 /tools
parenta93e9de9f5eaada1fe8ce8ecc1cebfd1614ed2b9 (diff)
Add design documents to the navigation
We already have some design documents committed to our documentation pages. Add an index of those, under the 'Contribute!' section. -- Change-Id: I9331f13d9f145668991f26dd301c10b4a7f06216 Reviewed-on: https://bazel-review.googlesource.com/#/c/3942 MOS_MIGRATED_REVID=126300855
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions