volth 54c4223e55 treewide: central.maven.org -> repo1.maven.org		2020-06-12 14:26:08 +00:00
..
build.xml.patch	jedit: update from 5.1.0 to 5.2.0	2015-03-13 22:17:32 +01:00
default.nix	treewide: central.maven.org -> repo1.maven.org	2020-06-12 14:26:08 +00:00