diff options
| author |  Rustan Leino <leino@microsoft.com> | 2012-10-04 00:02:43 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2012-10-04 00:02:43 -0700 |
| commit | 86da04e8be269d13874191c81cee0e2110d6373e (patch) | |
| tree | 3e179711e6f621ff10bbea22fbcaa9f0e9d62e47 /Util/VS2010/DafnyExtension/DafnyExtension/source.extension.vsixmanifest | |
| parent | 0cf1c052a1b3f89384a6c859fc8680851b6edce0 (diff) | |
| parent | 17a14997cbcdad8bb0a435cf48dfb783ea21f3ac (diff) | |
Merge
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>
|