From: Manolo Carrasco <manolo@vaadin.com>
Date: Tue, 29 Mar 2016 13:08:04 +0000 (+0200)
Subject: Adding vaadin-icons
X-Git-Tag: v1.0.0~12
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=8c1741b03448602c74282cd61db1e2db6dbb8e39;p=vaadin-core.git

Adding vaadin-icons
---

diff --git a/tasks/config.js b/tasks/config.js
index 9cfc606..d87ce0d 100644
--- a/tasks/config.js
+++ b/tasks/config.js
@@ -4,7 +4,7 @@ var fs = require('fs');
 var userhome = process.env.HOME || process.env.HOMEPATH || process.env.USERPROFILE;
 
 module.exports = {
-  coreElements: ['vaadin-grid', 'vaadin-combo-box', 'vaadin-date-picker', 'vaadin-upload'],
+  coreElements: ['vaadin-grid', 'vaadin-combo-box', 'vaadin-date-picker', 'vaadin-upload', 'vaadin-icons'],
   version: args.version || 'master',
   permalink: args.version ? 'latest' : '',
   toolsHost: args.toolsHostname || 'tools.vaadin.com',