# HG changeset patch
# User wenzelm
# Date 1609879656 -3600
# Node ID f996348d28ee940acedc5538de180c184d04b1bd
# Parent  7ef8d77ee7611af0111caad183bf9ca35d4bd4f2
obsolete;

diff -r 7ef8d77ee761 -r f996348d28ee Admin/MacOS/README
--- a/Admin/MacOS/README	Tue Jan 05 21:46:35 2021 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,7 +0,0 @@
-Isabelle/JVM application bundle for macOS
-=========================================
-
-* http://java.net/projects/appbundler
-
-  - see appbundler-1.0.jar
-  - see com/oracle/appbundler/JavaAppLauncher
diff -r 7ef8d77ee761 -r f996348d28ee Admin/components/bundled-macos
--- a/Admin/components/bundled-macos	Tue Jan 05 21:46:35 2021 +0100
+++ b/Admin/components/bundled-macos	Tue Jan 05 21:47:36 2021 +0100
@@ -1,2 +1,1 @@
 #additional components to be bundled for release
-macos_app-20181208