Index of /gentoo/app-editors/jedit/files

	Name	Last modified	Size	Description
	Parent Directory		-
	jedit-5.6.0-skip-failing-test.patch	2023-04-09 12:40	1.2K
	jedit-5.4.0-build-xml.patch	2018-04-15 02:38	332