Index of http://de.aminet.net/gentoo-portage/app-editors/jedit/files

[DIR] Parent Directory

[ ] jedit-5.2.0-build-xml.patch  530.00b  August 9 2015 at 03:38
[ ] jedit-5.4.0-build-xml.patch  332.00b  April 15 2018 at 00:08