Admin/components/bundled-windows
author wenzelm
Sat, 01 Jun 2019 11:29:59 +0200
changeset 70299 83774d669b51
parent 70287 b0fd8167bb9b
child 71385 06bb82e7af2a
permissions -rw-r--r--
Added tag Isabelle2019-RC4 for changeset ad2d84c42380

#additional components to be bundled for release
cygwin-20190524
windows_app-20181006