remove vim editor-plugin
commit7b2e6567a935ecf2d9355dd257f5fa6b92db4b47
authorJohnny Robeson <johnny@localmomentum.net>
Mon, 12 Jan 2015 05:29:51 +0000 (11 21:29 -0800)
committerhhvm-bot <hhvm-bot@fb.com>
Mon, 12 Jan 2015 06:00:22 +0000 (11 22:00 -0800)
tree062385facd34fa50793cfd0e735a84072e274a0c
parent1ecca542e5be28f1f779eaa785fa1089334becc4
remove vim editor-plugin

Summary: It's been about 9 months since it was moved to its own repo. I
think it's safe to drop from master now.
Closes https://github.com/facebook/hhvm/pull/4612

Reviewed By: @int3

Differential Revision: D1777057

Signature: t1:1777057:1421040535:c0131633061e40455b856eb6a909cfc8d40e34d5
hphp/hack/editor-plugins/vim/.gitignore [deleted file]
hphp/hack/editor-plugins/vim/README.md [deleted file]
hphp/hack/editor-plugins/vim/plugin/hack.vim [deleted file]