| Sat, 18 Jun 2011 17:30:44 +0200 | wenzelm | proper place for config files (cf. 55866987a7d9); | 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 |