-
- Downloads
Remove static Activator.plugin fields where not used
parent
58c8b655
No related branches found
No related tags found
Checking pipeline status
Showing
- de.prob.core.tests/src/de/prob/core/tests/Activator.java 0 additions, 24 deletionsde.prob.core.tests/src/de/prob/core/tests/Activator.java
- de.prob.eventb.disprover.ui/src/de/prob/eventb/disprover/ui/DisproverActivator.java 0 additions, 26 deletions...i/src/de/prob/eventb/disprover/ui/DisproverActivator.java
- de.prob.symbolic/src/de/prob/symbolic/Activator.java 0 additions, 17 deletionsde.prob.symbolic/src/de/prob/symbolic/Activator.java
Loading
Please register or sign in to comment