Merge branch 'release/7.2.1'

rapidminer · Aug 11, 2016 · 6191885 · 6191885
2 parents 165a1ce + f023c82
commit 6191885
Show file tree

Hide file tree

Showing 15 changed files with 875 additions and 838 deletions.
diff --git a/.gitignore b/.gitignore
@@ -14,3 +14,4 @@ config/checkstyle/checkstyle.xsl
 config/pmd/*
 .idea/
 *.iml
+**/*.tutorial
diff --git a/gradle.properties b/gradle.properties
@@ -1,2 +1,2 @@
-version=7.2.0
+version=7.2.1
 group=com.rapidminer.studio