tree c9dc0c4d33ba11c890386dbc26b7e786147ab3d8
parent 408c7aa4c57f81b896d8a2c1ed8f3f8917fadb16
author David Ostrovsky <david@ostrovsky.org> 1573585111 -0800
committer David Ostrovsky <david@ostrovsky.org> 1588012091 +0200

Adapt to gerrit master

Remove GWT UI and add gwtorm as new dependency. Except extending the
build documentation, the documentation wasn't adapted in this change.

Change-Id: Ib8a0a503715d6ee381b06cf52909282a1958a5e0