--- a/src/Tools/VSCode/LICENSE Wed Mar 02 20:35:32 2022 +0100
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,14 +0,0 @@
-Isabelle/VSCode is subject to dual-licensing:
-
- * BSD-3-Clause inherited by the overall Isabelle source license
-
- * MIT license for the src/extension part that is also published on
- the VSCode marketplace
-
-MIT is slightly more liberal than BSD-3-Clause. This exception allows to
-adopt the standard license scheme of the Node.js / VSCode universe for the
-Isabelle/VScode extension module.
-
-
- Makarius
- 03-Mar-2017