Merge branch 'master' into feature_create_repo_api

2016-06-03 12:40:04 +02:00
parent 7468d8961e 4821561bbe
commit aab25030cf
20 changed files with 1128 additions and 294 deletions
--- a/pom.xml
+++ b/pom.xml
@@ -168,6 +168,8 @@
                  <exclude>eclipse_codeformatter.xml</exclude>
                  <exclude>**/addons.scss</exclude>
                  <exclude>**/VAADIN/widgetsets/**</exclude>
+                  <exclude>.sonar</exclude>
+                  <exclude>**/.sonar/**</exclude>
               </excludes>
               <mapping>
                  <scss>JAVADOC_STYLE</scss>