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.sln | |
parent | 0cf1c052a1b3f89384a6c859fc8680851b6edce0 (diff) | |
parent | 17a14997cbcdad8bb0a435cf48dfb783ea21f3ac (diff) |
Merge
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
|