jEdit / Plugin Central Submission / #17 ErrorList 1.3.2

#17 ErrorList 1.3.2

Status: closed

Labels: None

Priority: 5

Updated: 2004-02-15

Created: 2004-02-06

Private: No

ErrorList 1.3.2 has new icons and fixes some bugs.
Requires jEdit 4.2pre8.

Packaged & uploaded.

Slava Pestov - 2004-02-06

status: open --> pending
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Slava Pestov - 2004-02-07

status: pending --> closed
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Mike Dillon - 2004-02-15

milestone: --> Batch: 7 Feb 2004
If you would like to refer to this comment somewhere else in this project, copy and paste the following link: