mirror of
https://github.com/vaadin/framework.git
synced 2024-07-23 05:44:46 +02:00
![]() Build vaadinPush.js from the released version instead of having a separate javascript version in the project Change-Id: I37aac284216c8ec6efd03c242e639e88854f11fd |
||
---|---|---|
.. | ||
themes | ||
readme.txt | ||
vaadinBootstrap.js | ||
vaadinPush.js.tpl |
====================== Themes and Widget Sets ====================== The WebContent/VAADIN directory contains Themes and Widgetsets. ------ Themes ------ Themes may be edited freely. They contain static images, CSS, and layouts for Vaadin applications. See http://dev.vaadin.com/wiki/DevDocs/StartingDevelopment for instructions for installing GWT and compiling widgetsets for Vaadin development.