Admin/components/bundled-linux
changeset 73193 b8e12e94cfca
parent 71363 ce3409dfb18c
equal deleted inserted replaced
73192:e7437085e589 73193:b8e12e94cfca
     1 #additional components to be bundled for release
     1 #additional components to be bundled for release
     2 linux_app-20200110
     2 Isabelle_app-20210126