nixpkgs/pkgs/applications/editors/jedit
2015-07-04 13:05:11 +02:00
..
build.xml.patch
default.nix jedit: fix build 2015-07-04 13:05:11 +02:00