Admin/components/bundled-linux
author wenzelm
Tue, 20 Apr 2021 22:53:24 +0200
changeset 73593 e60333aa18ca
parent 73193 b8e12e94cfca
permissions -rw-r--r--
proper use of antiquotations;

#additional components to be bundled for release
Isabelle_app-20210126