From 7d37934cae1f9372acfa994750616e4ecc21854d Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Thu, 8 Oct 2015 12:23:54 -0500
Subject: Make the Dafny extension compile on VS 2015 without any old versions.

---
 Source/DafnyMenu/source.extension.vsixmanifest | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'Source/DafnyMenu/source.extension.vsixmanifest')

diff --git a/Source/DafnyMenu/source.extension.vsixmanifest b/Source/DafnyMenu/source.extension.vsixmanifest
index 7beeb69e..814374ee 100644
--- a/Source/DafnyMenu/source.extension.vsixmanifest
+++ b/Source/DafnyMenu/source.extension.vsixmanifest
@@ -6,7 +6,8 @@
     <Description xml:space="preserve">This is a menu for interacting with Dafny.</Description>
   </Metadata>
   <Installation InstalledByMsi="false">
-    <InstallationTarget Version="[11.0,13.0)" Id="Microsoft.VisualStudio.Pro" />
+    <InstallationTarget Version="[11.0,15.0)" Id="Microsoft.VisualStudio.Pro" />
+    <InstallationTarget Version="[14.0,15.0)" Id="Microsoft.VisualStudio.Community" />
   </Installation>
   <Dependencies>
     <Dependency Id="Microsoft.Framework.NDP" DisplayName="Microsoft .NET Framework" d:Source="Manual" Version="4.5" />
-- 
cgit v1.2.3