diff options
Diffstat (limited to 'tools/findbugs/doc/plugins.txt')
-rw-r--r-- | tools/findbugs/doc/plugins.txt | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/tools/findbugs/doc/plugins.txt b/tools/findbugs/doc/plugins.txt deleted file mode 100644 index a307b14..0000000 --- a/tools/findbugs/doc/plugins.txt +++ /dev/null @@ -1,9 +0,0 @@ - -Plugins can be specified in three different ways: -* For a standard FindBugd distro, they can be put into the plugins directory -* For a JAWS distro, the file pluginlist.properties contains - a list of URLs to plugins. These URLs can be relative or absolute. If they - are absolute, they are relative to jar file that contained the pluginlist.properties - file. -* You can define properties findbugs.plugin.*. Each such property defines a URL - for a plugin |