Vincent Laporte 48c6daf491 jedit: update from 5.1.0 to 5.2.0		2015-03-13 22:17:32 +01:00
..
build.xml.patch	jedit: update from 5.1.0 to 5.2.0	2015-03-13 22:17:32 +01:00
default.nix	jedit: update from 5.1.0 to 5.2.0	2015-03-13 22:17:32 +01:00