diff options
Diffstat (limited to 'themes')
| -rw-r--r-- | themes/.gitignore | 1 | ||||
| -rw-r--r-- | themes/pom.xml | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/themes/.gitignore b/themes/.gitignore deleted file mode 100644 index 9f11b838a5..0000000000 --- a/themes/.gitignore +++ /dev/null @@ -1 +0,0 @@ -src/main/themes/VAADIN/addons/* diff --git a/themes/pom.xml b/themes/pom.xml index 93f0117869..502dcf7b4d 100644 --- a/themes/pom.xml +++ b/themes/pom.xml @@ -32,12 +32,14 @@ <dependency> <groupId>com.vaadin</groupId> <artifactId>vaadin-sass-compiler</artifactId> + <version>${vaadin.sass.version}</version> <scope>provided</scope> </dependency> <dependency> <groupId>com.vaadin</groupId> <artifactId>vaadin-icons</artifactId> + <version>${vaadin.icons.version}</version> <scope>provided</scope> </dependency> |