| commit | 1e308d41aae665a4f45fbf66ef49d5fbb2bf8cbb | [log] [tgz] |
|---|---|---|
| author | Alex Zaslavsky <azaslavsky@fuchsia.infra.roller.google.com> | Thu Oct 20 17:54:29 2022 +0000 |
| committer | Copybara-Service <copybara-worker@google.com> | Thu Oct 20 10:55:39 2022 -0700 |
| tree | f4b08b0a4077995a930fb9bc54cdc0a2ac182b3c | |
| parent | cb3e6751d9bb3efab79ae7c5dc98586b5bb7a01e [diff] |
[roll] Roll fuchsia [fidl][docs] Use region_tag highlighting The upstream feature to support highlighting via region_tag has landed on devsite. That means that all locations in the canonical example where we had planned to use this feature can be updated to use named ranges. Test: manual devsite staging Fix: 111275 Original-Reviewed-on: https://fuchsia-review.googlesource.com/c/fuchsia/+/743073 Original-Revision: 19775d7c027973a3510abf3226900d0e70468fd9 GitOrigin-RevId: 198f413fb54f85b7568242359449659d28f87878 Change-Id: I48fe1d9e6711bcb8743570728b51d32bd2290b98
This repository contains Fuchsia's Global Integration manifest files.
All changes should be made to the internal version of this repository. Our infrastructure automatically updates this version when the internal one changes.
Currently all changes must be made by a Google employee. Non-Google employees wishing to make a change can ask for assistance via the IRC channel #fuchsia on Freenode.
First install Jiri.
Next run:
$ jiri init $ jiri import minimal https://fuchsia.googlesource.com/integration $ jiri update
Third party projects should have their own subdirectory in ./third_party.