From 7e528d7d11e5f6dce0e281d10e2a83c64b9a800f Mon Sep 17 00:00:00 2001 From: Andreas Dangel Date: Tue, 17 Dec 2024 13:10:59 +0100 Subject: [PATCH] Update plugin list Refs pmd/pmd#5404 --- _includes/plugins.html | 18 +++++++++++++----- 1 file changed, 13 insertions(+), 5 deletions(-) diff --git a/_includes/plugins.html b/_includes/plugins.html index 8c44678551..06868ace18 100644 --- a/_includes/plugins.html +++ b/_includes/plugins.html @@ -6,14 +6,22 @@

Plugins


+

+ PMD has been integrated into various tools as a plugin. This list is just a small extract. + See IDE Plugins, + CI Plugins and + Other Integrations for a more + complete list. +

+