Skip to content

27th Git Release

Latest

Choose a tag to compare

@florian-rabe florian-rabe released this 07 Sep 17:32
  • compiled against jEdit 5.7
  • fixes an issue where ErrorList 2.4 did not remove errors correctly
  • removes some outdated functionality from the jEdit GUI