Renaming /doc to /docs for use with GitHub Pages

[jpf-core.git] / doc / install / eclipse-plugin / update / features.md

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