Correct the Rules Documentation label (#4901)

This commit is contained in:
Nicola Corti
2022-06-03 00:11:56 +01:00
committed by GitHub
parent 6d477cbb2e
commit ad9ef16bb9
2 changed files with 5 additions and 1 deletions

2
.gitignore vendored
View File

@@ -163,6 +163,6 @@ target/
!gradle-wrapper.jar
# Avoid committing generated documentation to the repo
/website/docs/rules
/website/docs/rules/*.md
/website/static/kdoc
/website/docs/gettingstarted/_cli-options.md

View File

@@ -0,0 +1,4 @@
{
"label": "Rules Documentation",
"position": 4
}