Skip to content
Snippets Groups Projects
Select Git revision
  • fdaeba6ed6c89057cc47a9f67cc748fabdf29815
  • develop default protected
  • master protected
  • 1.2.1
  • 1.2.0
  • 1.1.0
  • 1.0.5
  • 1.0.4
  • 1.0.3
  • 1.0.2
  • 1.0.0
11 results

build.gradle

Blame
    • Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    settings.gradle 344 B 
    include 'de.prob.core', 'de.bmotionstudio.gef.editor' ,'de.bmotionstudio.rodin', 'de.bmotionstudio.help' , 'de.prob.plugin', 'de.prob.ui', 'de.prob2.feature', 'de.prob.symbolic', 'de.prob2.symbolic.feature', 'de.prob.units', 'de.prob2.units.feature', 'de.prob.eventb.disprover.core', 'de.prob.eventb.disprover.ui', 'de.prob2.disprover.feature'