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 | 52c0262e9a4645625875f88dd8381e7d565c4443 (patch) | |
| tree | d87872c47a4c680001bb0a48cfe6d89bfac668fb /Util/VS2010/DafnyExtension/DafnyExtension.sln | |
| parent | e9b7ff7c38569ec2e11fd570d82bcd277fbac7c0 (diff) | |
DafnyExtension: make it usable also in Visual Studio 2012
Diffstat (limited to 'Util/VS2010/DafnyExtension/DafnyExtension.sln')
| -rw-r--r-- | Util/VS2010/DafnyExtension/DafnyExtension.sln | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Util/VS2010/DafnyExtension/DafnyExtension.sln b/Util/VS2010/DafnyExtension/DafnyExtension.sln index e7391254..fd450cc8 100644 --- a/Util/VS2010/DafnyExtension/DafnyExtension.sln +++ b/Util/VS2010/DafnyExtension/DafnyExtension.sln @@ -1,6 +1,6 @@
-Microsoft Visual Studio Solution File, Format Version 11.00
-# Visual Studio 2010
+Microsoft Visual Studio Solution File, Format Version 12.00
+# Visual Studio 2012
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "DafnyExtension", "DafnyExtension\DafnyExtension.csproj", "{6E9A5E14-0763-471C-A129-80A879D9E7BA}"
EndProject
Global
|