Thu, 05 Sep 2013 12:33:51 +0200 | wenzelm | updated to jedit_build-20130905 which is based on jedit-5.1.0; | file | diff | annotate |
Sat, 24 Aug 2013 16:06:15 +0200 | wenzelm | support more brackets; | file | diff | annotate |
Wed, 21 Aug 2013 22:40:55 +0200 | wenzelm | support more brackets; | file | diff | annotate |