Index of /gentoo-portage-snapshots/2018-02-01-0211/app-editors/jedit/files/

../
jedit-5.2.0-build-xml.patch                        09-Aug-2015 00:38                 530
jedit-5.4.0-build-xml.patch                        28-Aug-2017 21:40                 467