diff options
| author |  Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-09-21 14:46:50 -0700 |
|---|---|---|
| committer | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-09-21 14:46:50 -0700 |
| commit | 458fa29bb7c59c3b7345ac21b20820f42d550ccc (patch) | |
| tree | dc25aef498570edea6a48f72a1d701b8be93b7ec /Util/VS2010/DafnyExtension/DafnyExtension/source.extension.vsixmanifest | |
| parent | 77a38428ffe11806c8bc61d2fbb324d1523de635 (diff) | |
DafnyExtension: adding some missing keywords (for imports)
Diffstat (limited to 'Util/VS2010/DafnyExtension/DafnyExtension/source.extension.vsixmanifest')
0 files changed, 0 insertions, 0 deletions