Index of /CompLangs/Isabelle2023/contrib/jedit-20211103/jedit5.6.0-patched/jEdit/package-files/linux/slackware
Parent Directory
doinst.sh
jEdit.desktop
slack-desc
slack-required