jEdit PMDPlugin

jEdit is a programmer's text editor written in Java.

Brought to you by: daleanson, ezust, grepppo, k_satoda, and 5 others

Tree [09dfe7] master /

History

HTTPS git://

HTTPS access

File	Date	Author	Commit
doc	2016-06-24	Dale Anson	[2c6b80] bug fix and doc update
lib	2016-06-24	Dale Anson	[2c6b80] bug fix and doc update
src	2016-10-04	Alan Ezust	[09dfe7] Fixing internal name.
.gitaccess	2013-08-30	Alan Ezust	[08f97b] Added .gitaccess
LICENSE.txt	2003-09-15	Jiger Patel	[6c4449] Renamed to PMDJEditPlugin to PMDPlugin
PMDPlugin.props	2016-06-24	Dale Anson	[2c6b80] bug fix and doc update
actions.xml	2009-04-20	Dale Anson	[df4d25] General updates -- upgrade to PMD 2.4.5, update...
browser.actions.xml	2004-06-16	Jiger Patel	[4ce90b] Removed Recursive Directory options and integra...
build.xml	2015-09-13	Dale Anson	[b9ffdd] Updated for PMD 5.3.4.
combine-pmd-build.xml	2016-06-24	Dale Anson	[2c6b80] bug fix and doc update
default_rules.props	2011-12-08	Romain Pelisse	[2a2607] pmd: Applied patch 3427563 - Deprecated class (...
description.html	2007-11-21	Alan Ezust	[868ea3] Added description.
dockables.xml	2003-09-15	Jiger Patel	[6c4449] Renamed to PMDJEditPlugin to PMDPlugin
services.xml	2013-01-01	Dale Anson	[9cff49] Added service for status bar to automatically i...