Moved the documents to jpf-core/wiki

[jpf-core.git] / docs / install / eclipse-plugin / update / plugins.md

diff --git a/docs/install/eclipse-plugin/update/plugins.md b/docs/install/eclipse-plugin/update/plugins.md
deleted file mode 100644 (file)
index 180eefa..0000000
--- a/docs/install/eclipse-plugin/update/plugins.md
+++ /dev/null
@@ -1 +0,0 @@
-Nothing to see here, just a place holder to upload the eclipse-jpf plugin.
\ No newline at end of file