diff options
Diffstat (limited to 'compatibility-themes')
| -rw-r--r-- | compatibility-themes/pom.xml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/compatibility-themes/pom.xml b/compatibility-themes/pom.xml index ed47a260e0..d373cee9ac 100644 --- a/compatibility-themes/pom.xml +++ b/compatibility-themes/pom.xml @@ -14,6 +14,11 @@ <url>https://vaadin.com/</url> <description>Vaadin compatibility themes</description> + <properties> + <!-- These files are directly from Vaadin 7 --> + <sonar.skip>true</sonar.skip> + </properties> + <dependencies> <!-- Maven plugin scans for vaadin-server... --> <dependency> |