X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=doc%2Finstall%2Feclipse-plugin%2Fupdate%2Ffeatures.md;fp=doc%2Finstall%2Feclipse-plugin%2Fupdate%2Ffeatures.md;h=0000000000000000000000000000000000000000;hb=617c4bf5004a1a258bd32a212f52252b90800d97;hp=f22f5b8977abbcaa101d852b63d0fd121f58581f;hpb=a02f1a3ffa7409c7a2c636ec672cff55acb1048b;p=jpf-core.git

diff --git a/doc/install/eclipse-plugin/update/features.md b/doc/install/eclipse-plugin/update/features.md
deleted file mode 100644
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