Admin/components/bundled-macos
author wenzelm
Sun Oct 09 23:08:40 2016 +0200 (2016-10-09)
changeset 64123 a967b5a07f92
parent 61300 9b4843250e1c
child 69401 7a1b7b737c02
permissions -rw-r--r--
support for SSH in Isabelle/Scala;
     1 #additional components to be bundled for release
     2 macos_app-20130716