Plugin mpsutil.jung depends on "full" MPS (aka workbench)#2929

artem-tikhomirov merged 1 commit intomaintenance/mps20251mbeddr/mbeddr.core:maintenance/mps20251from

artem/mps251/mpsutil.jung-plugindepmbeddr/mbeddr.core:artem/mps251/mpsutil.jung-plugindepCopy head branch name to clipboard