diff options
| author |  Michael Lowell Roberts <mirobert@microsoft.com> | 2015-04-27 10:53:23 -0700 |
|---|---|---|
| committer | Michael Lowell Roberts <mirobert@microsoft.com> | 2015-04-27 10:53:23 -0700 |
| commit | 4bb023c9acf460c9cafe69c238996e35f47014bb (patch) | |
| tree | 3e4e5d81d464667d54e154db4523ac0477d8443f /Util | |
| parent | e4f315cdf92340332ffddeb164ccb10eb73c4e85 (diff) | |
added notice about vim-loves-dafny.
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
|