/work | /work | ||||
/.gwt-cache | /.gwt-cache | ||||
/.externalToolBuilders | /.externalToolBuilders | ||||
/extras | |||||
# /WebContent/VAADIN/themes/base/ | # /WebContent/VAADIN/themes/base/ | ||||
/WebContent/VAADIN/themes/base/styles.css | /WebContent/VAADIN/themes/base/styles.css |