Wed, 08 Jun 2011 21:40:54 +0200 | wenzelm | simplified directory structure; | file | diff | annotate |
Wed, 08 Jun 2011 21:29:49 +0200 | wenzelm | further jedit build option; | file | diff | annotate |
Wed, 08 Jun 2011 20:58:51 +0200 | wenzelm | build jedit as part of regular startup script (in that case depending on jedit_build component); | file | diff | annotate | base |