diff options
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 |