diff --git a/.gitignore b/.gitignore index 7eded2938504e3ecbacf092490fabe47efb95ef1..bf87aa22e9e6f13caeff168240676336bdb791ef 100644 --- a/.gitignore +++ b/.gitignore @@ -5,4 +5,6 @@ **/pom.xml .DS_Store pom.xml -updatesite/ \ No newline at end of file +updatesite/ +de.prob.core/prob/ +build/ \ No newline at end of file