From fc6640e0ce75dd4bf5b48c8da60fcf489170d99f Mon Sep 17 00:00:00 2001 From: laurentlb Date: Tue, 14 Aug 2018 09:42:03 -0700 Subject: Fix "Deprecated API" header RELNOTES: None. PiperOrigin-RevId: 208661270 --- site/docs/skylark/skylint.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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. -- cgit v1.2.3