#17 ErrorList 1.3.2

Batch: 7 Feb 2004
closed
Slava Pestov
None
5
2004-02-15
2004-02-06
Slava Pestov
No

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

Packaged & uploaded.

Discussion

  • Slava Pestov
    Slava Pestov
    2004-02-06

    • status: open --> pending
     
  • Slava Pestov
    Slava Pestov
    2004-02-07

    • status: pending --> closed
     
  • Mike Dillon
    Mike Dillon
    2004-02-15

    • milestone: --> Batch: 7 Feb 2004