Select Git revision
semSearch.html
Code owners
Assign users and groups as approvers for specific file changes. Learn more.
settings.gradle 133 B
include 'de.prob.core', 'de.bmotionstudio.gef.editor' ,'de.bmotionstudio.rodin', 'de.prob.plugin', 'de.prob.ui', 'de.prob2.feature'