| changeset 75252 | 41dfe941c3da |
| parent 75239 | ef9f9d43b867 |
| child 75282 | 249e900cc05f |
--- a/src/Tools/VSCode/etc/settings Wed Mar 09 12:41:40 2022 +0100 +++ b/src/Tools/VSCode/etc/settings Wed Mar 09 16:21:14 2022 +0100 @@ -3,4 +3,3 @@ ISABELLE_VSCODE_VERSION="1.65.0" ISABELLE_VSCODE_HOME="$ISABELLE_HOME/src/Tools/VSCode" ISABELLE_VSCODE_SETTINGS="$ISABELLE_HOME_USER/vscode" -ISABELLE_VSCODE_WORKSPACE="$ISABELLE_VSCODE_SETTINGS/workspace"