From 2af72ba9636bec70046394c41744f89ce4572e35 Mon Sep 17 00:00:00 2001
From: Ilia Motornyi <elmot@vaadin.com>
Date: Thu, 3 Dec 2015 14:59:05 +0000
Subject: Revert "Merge branch 'documentation'"

This reverts commit f6874bde3d945c8b2d1b5c17ab50e2d0f1f8ff00.

Change-Id: I67ee1c30ba3e3bcc3c43a1dd2e73a822791514bf
---
 .../clientsidewidgets/clientsidewidgets-gwt.asciidoc | 20 --------------------
 1 file changed, 20 deletions(-)
 delete mode 100644 documentation/clientsidewidgets/clientsidewidgets-gwt.asciidoc

(limited to 'documentation/clientsidewidgets/clientsidewidgets-gwt.asciidoc')

diff --git a/documentation/clientsidewidgets/clientsidewidgets-gwt.asciidoc b/documentation/clientsidewidgets/clientsidewidgets-gwt.asciidoc
deleted file mode 100644
index c4605e7ef0..0000000000
--- a/documentation/clientsidewidgets/clientsidewidgets-gwt.asciidoc
+++ /dev/null
@@ -1,20 +0,0 @@
----
-title: GWT Widgets
-order: 2
-layout: page
----
-
-[[clientsidewidgets.gwt]]
-= GWT Widgets
-
-GWT widgets are user interface elements that are rendered as HTML. Rendering is
-done either by manipulating the HTML Document Object Model (DOM) through the
-lower-level DOM API, or simply by injecting the HTML with
-[methodname]#setInnerHTML()#. The layout of the user interface is managed using
-special panel widgets.
-
-For information about the basic GWT widgets, please refer to the GWT Developer's
-Guide at https://developers.google.com/web-toolkit/doc/latest/DevGuideUi.
-
-
-
-- 
cgit v1.2.3

