diff options
| author |  Rustan Leino <leino@microsoft.com> | 2012-10-04 14:14:39 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2012-10-04 14:14:39 -0700 |
| commit | 4fc6dbf641b052c0c39ccdea387a6cc6b5c511fd (patch) | |
| tree | 911062ae79403d6cab5ca6711d996fb97c1d07ea /Source/Jennisys.sln | |
| parent | 8911e5c95d4715c2e2626aef67f19793d6f43201 (diff) | |
Updates of various .sln and .*proj files
Diffstat (limited to 'Source/Jennisys.sln')
| -rw-r--r-- | Source/Jennisys.sln | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Source/Jennisys.sln b/Source/Jennisys.sln index 3f213e27..539d6971 100644 --- a/Source/Jennisys.sln +++ b/Source/Jennisys.sln @@ -1,12 +1,12 @@
-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("{F2A71F9B-5D33-465A-A702-920D77279786}") = "Jennisys", "Jennisys\Jennisys.fsproj", "{F2FF4B3A-2FE8-474A-88DF-6950F7D78908}"
ProjectSection(ProjectDependencies) = postProject
{ACEF88D5-DADD-46DA-BAE1-2144D63F4C83} = {ACEF88D5-DADD-46DA-BAE1-2144D63F4C83}
EndProjectSection
EndProject
-Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "Model", "..\Source\Model\Model.csproj", "{ACEF88D5-DADD-46DA-BAE1-2144D63F4C83}"
+Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "Model", "..\..\boogie\Source\Model\Model.csproj", "{ACEF88D5-DADD-46DA-BAE1-2144D63F4C83}"
EndProject
Global
GlobalSection(SolutionConfigurationPlatforms) = preSolution
|