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
---
 documentation/introduction/intro-eclipse.asciidoc | 40 -----------------------
 1 file changed, 40 deletions(-)
 delete mode 100644 documentation/introduction/intro-eclipse.asciidoc

(limited to 'documentation/introduction/intro-eclipse.asciidoc')

diff --git a/documentation/introduction/intro-eclipse.asciidoc b/documentation/introduction/intro-eclipse.asciidoc
deleted file mode 100644
index b2fb127f7b..0000000000
--- a/documentation/introduction/intro-eclipse.asciidoc
+++ /dev/null
@@ -1,40 +0,0 @@
----
-title: Support for the Eclipse IDE
-order: 3
-layout: page
----
-
-[[intro.eclipse]]
-= Support for the Eclipse IDE
-
-While Vaadin is not bound to any specific IDE, and you can in fact easily use it
-without any IDE altogether, we provide special support for the Eclipse IDE,
-which has become the most used environment for Java development. The support is
-provided in the Vaadin Plugin for Eclipse, which helps you in:
-
-* Creating new Vaadin projects
-
-* Creating custom themes
-
-* Creating custom client-side widgets
-
-* Easily upgrading to a newer version of the Vaadin library
-
-
-Using the Vaadin Plugin for Eclipse is the recommended way of installing Vaadin
-for development. Downloading the installation package that contains the JARs or
-defining Vaadin as a Maven dependency is also possible.
-
-Installing and updating the Eclipse plugin is covered in
-<<dummy/../../../framework/getting-started/getting-started-eclipse#getting-started.eclipse,"Vaadin
-Plugin for Eclipse">> and the creation of a new Vaadin project using the plugin
-in
-<<dummy/../../../framework/getting-started/getting-started-first-project#getting-started.first-project.creation,"Creating
-the Project">>. See
-<<dummy/../../../framework/themes/themes-eclipse#themes.eclipse,"Creating a
-Theme in Eclipse">> and
-<<dummy/../../../framework/gwt/gwt-eclipse#gwt.eclipse,"Starting It Simple With
-Eclipse">> for instructions on using the different features of the plugin.
-
-
-
-- 
cgit v1.2.3

