Admin/components/bundled-linux
author wenzelm
Sat, 12 Jul 2025 22:37:47 +0200
changeset 82856 1e39653de974
parent 73193 b8e12e94cfca
permissions -rw-r--r--
merged

#additional components to be bundled for release
Isabelle_app-20210126