Merge branch 'develop' of github.com:bendisposto/prob into develop

19d07ec3 · Lukas Ladenberger · f9c152d2 · e4d77db0 · 19d07ec3
Commit 19d07ec3 authored 12 years ago by Lukas Ladenberger
--- a/settings.gradle
+++ b/settings.gradle

-include 'de.prob.core', 'de.bmotionstudio.gef.editor' ,'de.bmotionstudio.rodin', 'de.prob.plugin', 'de.prob.ui', 'de.prob2.feature'
+include 'de.prob.core', 'de.bmotionstudio.gef.editor' ,'de.bmotionstudio.rodin', 'de.bmotionstudio.help' , 'de.prob.plugin', 'de.prob.ui', 'de.prob2.feature'