diff options
author | Rustan Leino <leino@microsoft.com> | 2012-10-22 11:03:01 -0700 |
---|---|---|
committer | Rustan Leino <leino@microsoft.com> | 2012-10-22 11:03:01 -0700 |
commit | d4472576ba4f4678f48313e69733254fb1e7017c (patch) | |
tree | 51b6d9881d302cecfe46202401081d51c56ca26f /Util | |
parent | d52d7797c7394ecb233837c59e77927b467585fe (diff) |
removed deprecated "allocated" keyword from DafnyExtension syntax highlighting
removed a level of directories for the Dafny VIM mode
Diffstat (limited to 'Util')
-rw-r--r-- | Util/vim/dafny.vim (renamed from Util/vim/syntax/dafny.vim) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/Util/vim/syntax/dafny.vim b/Util/vim/dafny.vim index b329f0f7..b329f0f7 100644 --- a/Util/vim/syntax/dafny.vim +++ b/Util/vim/dafny.vim |