David Pursehouse e5f7d1de00 Replace gwt.user.client.Element with gwt.dom.client.Element ...

gwt.user.client.Element is deprecated in GWT 2.6.  Replace with
the recommended alternative.

Also update to not use fully qualified names in some places.

Change-Id: I377e561d05fd64471d672722c025d5b0defeecc6

2014-01-24 16:54:24 +09:00

..

src

Replace gwt.user.client.Element with gwt.dom.client.Element

2014-01-24 16:54:24 +09:00

BUCK

Bump Jetty version to stable 9.1 and Servlet API to 3.1

2014-01-04 22:28:10 +01:00

COPYING

Subtree merge in gwtexpui as gerrit-gwtexpui

2013-04-11 14:30:01 -07:00