diff options
author | Artur Signell <artur@vaadin.com> | 2012-09-25 09:14:44 +0300 |
---|---|---|
committer | Artur Signell <artur@vaadin.com> | 2012-09-25 09:14:44 +0300 |
commit | 35f00592e6c1b756b642ad4329a9a14314b80fe1 (patch) | |
tree | 279b3b1d401ef201648980b07187fcd371c5a12c /publish.properties | |
parent | 0c2096c4eb6e52dc08b60eced771bb008d219664 (diff) | |
download | vaadin-framework-35f00592e6c1b756b642ad4329a9a14314b80fe1.tar.gz vaadin-framework-35f00592e6c1b756b642ad4329a9a14314b80fe1.zip |
Map PortalDefaultWidgetSet -> DefaultWidgetSet when source is portal (#9731)
Diffstat (limited to 'publish.properties')
0 files changed, 0 insertions, 0 deletions