Index of /CompLangs/Isabelle2023/contrib/jedit-20211103/jedit5.6.0-patched/jEdit/.idea/copyright
Parent Directory
GPL_v2.xml
profiles_settings.xml