diff options
| author |  Dan Rosén <danr@chalmers.se> | 2014-07-07 15:11:18 -0700 |
|---|---|---|
| committer | Dan Rosén <danr@chalmers.se> | 2014-07-07 15:11:18 -0700 |
| commit | 8de9fcae1a91acce9a1e59f292f05a95c81b3dbc (patch) | |
| tree | 22b509d49e54d8e7a50cf195cfd6e15be77958da /Test/dafny1 | |
| parent | 60208673a25423e378cc7e9672d5acf9fd6f58bc (diff) | |
Fixes to vim highlighting
Diffstat (limited to 'Test/dafny1')
0 files changed, 0 insertions, 0 deletions