diff options
author | Tomi Virkki <tomivirkki@users.noreply.github.com> | 2015-12-16 09:47:53 +0200 |
---|---|---|
committer | Tomi Virkki <tomivirkki@users.noreply.github.com> | 2015-12-16 09:47:53 +0200 |
commit | efbb57d278e0176ae6a61cd0c55b03846aafdaf6 (patch) | |
tree | 5c29fa2b61ac0ce345a3dc7b7751dd660dbee445 /tasks/config.js | |
parent | 09841fb58cce28d1f6e0a1d3f4f9041e466b0963 (diff) | |
parent | e7e5a16f380b5f7e3eeb37a810a43226a2f29740 (diff) | |
download | vaadin-core-efbb57d278e0176ae6a61cd0c55b03846aafdaf6.tar.gz vaadin-core-efbb57d278e0176ae6a61cd0c55b03846aafdaf6.zip |
Merge pull request #28 from vaadin/rename_core_0.3.0
Rename: elements -> core-elements
Diffstat (limited to 'tasks/config.js')
-rw-r--r-- | tasks/config.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tasks/config.js b/tasks/config.js index 3b618ea..96ab57f 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 = { - elements: ['vaadin-grid'], + coreElements: ['vaadin-grid'], version: args.version || 'master', permalink: args.version ? 'latest' : '', toolsHost: args.toolsHostname || 'tools.vaadin.com', |