Wed, 17 Jul 2019 21:56:32 +0200 | wenzelm | updated to jedit_build-20190717: support more brackets; | file | diff | annotate |
Sat, 28 Feb 2015 21:51:34 +0100 | wenzelm | updated to jedit-5.2.0; | file | diff | annotate |
Thu, 26 Sep 2013 16:30:32 +0200 | wenzelm | support more brackets (see also 427724cff970, 7bf637b65ba2); | file | diff | annotate |
Wed, 25 Sep 2013 20:29:28 +0200 | wenzelm | simplified directory structure; | file | diff | annotate | base |