diff options
| author |  laurentlb <laurentlb@google.com> | 2018-08-14 09:42:03 -0700 |
|---|---|---|
| committer |  Copybara-Service <copybara-piper@google.com> | 2018-08-14 09:43:24 -0700 |
| commit | fc6640e0ce75dd4bf5b48c8da60fcf489170d99f (patch) | |
| tree | 0198153fe44c294d0a7fff07258eaf89e38f9a6a | |
| parent | 37bd5f665aa614c6dc640c9d19852dd8d5efb0d8 (diff) | |
Fix "Deprecated API" header
RELNOTES: None.
PiperOrigin-RevId: 208661270
| -rw-r--r-- | site/docs/skylark/skylint.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/site/docs/skylark/skylint.md b/site/docs/skylark/skylint.md index 73fbd51172..06c1b83e7e 100644 --- a/site/docs/skylark/skylint.md +++ b/site/docs/skylark/skylint.md @@ -363,7 +363,7 @@ foo = _foo This way, the name is still re-exported but doesn't generate a warning. -### Deprecated API [deprecated-api] +### Deprecated API See [documentation](https://docs.bazel.build/versions/master/skylark/lib/ctx.html) for more information. |