Index of ftp://bo.mirror.garr.it/1/gentoo-portage/app-editors/jedit/files

[DIR] Parent Directory

[ ] jedit-5.2.0-build-xml.patch  530.00b  March 8 2020
[ ] jedit-5.4.0-build-xml.patch  332.00b  April 14 2019 at 23:08