Manolo Carrasco
1bd717cf66
Use div instead of notice to avoid UI removing it (#14597)
Change-Id: I70cf7f310ee8238a6846316d8c85b3ae4abfd67d |
9 years ago | |
---|---|---|
.. | ||
client | Use div instead of notice to avoid UI removing it (#14597) | 9 years ago |
terminal/gwt | Re-added old DefaultWidgetSet which was accidentally deleted in a merge | 11 years ago |
DefaultWidgetSet.gwt.xml | Update GWT version (#14051) | 9 years ago |
Vaadin.gwt.xml | Update modernie property provider to recognize IE11 on WP 8.1 Update (#14376) | 9 years ago |
VaadinBrowserSpecificOverrides.gwt.xml | Formatted XML files using defined rules (#11956) | 11 years ago |