summaryrefslogtreecommitdiff
path: root/Documentation/dev-tools/tools.rst
diff options
context:
space:
mode:
Diffstat (limited to 'Documentation/dev-tools/tools.rst')
-rw-r--r--Documentation/dev-tools/tools.rst1
1 files changed, 1 insertions, 0 deletions
diff --git a/Documentation/dev-tools/tools.rst b/Documentation/dev-tools/tools.rst
index ae0c58c784db..d4bbda319e79 100644
--- a/Documentation/dev-tools/tools.rst
+++ b/Documentation/dev-tools/tools.rst
@@ -15,3 +15,4 @@ whole; patches welcome!
:maxdepth: 2
coccinelle
+ sparse