diff options
| author |  Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-09-27 14:01:18 -0700 |
|---|---|---|
| committer | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-09-27 14:01:18 -0700 |
| commit | 6d7e1ebc89767bfcc0cad74e7fc1be6c5efd0f4a (patch) | |
| tree | ca1ae6ba544767537a941fd3f8cd6a1ce66818c6 /Util/VS2010/DafnyExtension/DafnyExtension/source.extension.vsixmanifest | |
| parent | 458fa29bb7c59c3b7345ac21b20820f42d550ccc (diff) | |
DafnyExtension: make it usable also in Visual Studio 2012
Diffstat (limited to 'Util/VS2010/DafnyExtension/DafnyExtension/source.extension.vsixmanifest')
| -rw-r--r-- | Util/VS2010/DafnyExtension/DafnyExtension/source.extension.vsixmanifest | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Util/VS2010/DafnyExtension/DafnyExtension/source.extension.vsixmanifest b/Util/VS2010/DafnyExtension/DafnyExtension/source.extension.vsixmanifest index d822fbfc..ef5c1cf5 100644 --- a/Util/VS2010/DafnyExtension/DafnyExtension/source.extension.vsixmanifest +++ b/Util/VS2010/DafnyExtension/DafnyExtension/source.extension.vsixmanifest @@ -10,6 +10,9 @@ <VisualStudio Version="10.0">
<Edition>Pro</Edition>
</VisualStudio>
+ <VisualStudio Version="11.0">
+ <Edition>Pro</Edition>
+ </VisualStudio>
</SupportedProducts>
<SupportedFrameworkRuntimeEdition MinVersion="4.0" MaxVersion="4.0" />
</Identifier>
|