From 61f46d7b7789290098361c2de7e775fbe487bd7f Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Wed, 2 Jul 2014 03:55:56 +0200
Subject: DafnyExtension: Worked on adding support for Visual Studio 2013.

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

(limited to 'Source/DafnyMenu')

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