diff options
Diffstat (limited to 'Util')
-rw-r--r-- | Util/vim/README.md | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Util/vim/README.md b/Util/vim/README.md new file mode 100644 index 00000000..270b2d69 --- /dev/null +++ b/Util/vim/README.md @@ -0,0 +1,7 @@ +#Notice
+
+The [Dafny] syntax module for [Vim] that is located within directory will no longer be updated and has been superseded by the [vim-loves-dafny] plugin.
+
+[Dafny]: http://dafny.codeplex.com
+[Vim]: http://www.vim.org
+[vim-loves-dafny]: https://github.com/mlr-msft/vim-loves-dafny
|