From eb8efd28133c8b3a130279df1aa99236107e7d72 Mon Sep 17 00:00:00 2001 From: Alexander Pann Date: Thu, 10 Oct 2024 10:13:00 +0200 Subject: [PATCH] editor.spellcheck: remove dependency to devkit plugin --- .../models/de.itemis.mps.extensions.build.mps | 3 --- 1 file changed, 3 deletions(-) diff --git a/code/build/solutions/de.itemis.mps.extensions.build/models/de.itemis.mps.extensions.build.mps b/code/build/solutions/de.itemis.mps.extensions.build/models/de.itemis.mps.extensions.build.mps index 2adb445a2..05a40350c 100644 --- a/code/build/solutions/de.itemis.mps.extensions.build/models/de.itemis.mps.extensions.build.mps +++ b/code/build/solutions/de.itemis.mps.extensions.build/models/de.itemis.mps.extensions.build.mps @@ -9712,9 +9712,6 @@ - - -