diff options
| author |  kyessenov <unknown> | 2010-06-21 17:15:29 +0000 |
|---|---|---|
| committer | kyessenov <unknown> | 2010-06-21 17:15:29 +0000 |
| commit | aad763551606106bb3f6899c6fd3e42a393c1cb1 (patch) | |
| tree | f7c2b84060c7e7ad56112d5bd35784b4fcd29dd9 /Util/vim/syntax/boogie.vim | |
| parent | 5cf9650688fab9e5b04a60d94724de0287780217 (diff) | |
A simple highlighting syntax file for Vim.
Diffstat (limited to 'Util/vim/syntax/boogie.vim')
0 files changed, 0 insertions, 0 deletions