diff --git a/de.prob2.feature/feature.xml b/de.prob2.feature/feature.xml index 0a5cf75cc320b93f7871e7778fef57d9636958fd..b2dc420bf9559760fa14aef52939e9f5a917989a 100644 --- a/de.prob2.feature/feature.xml +++ b/de.prob2.feature/feature.xml @@ -279,11 +279,4 @@ litigation. fragment="true" unpack="false"/> - <plugin - id="de.prob.theory" - download-size="0" - install-size="0" - version="0.0.0" - unpack="false"/> - </feature>