diff options
author | qadeer <unknown> | 2010-11-27 05:45:36 +0000 |
---|---|---|
committer | qadeer <unknown> | 2010-11-27 05:45:36 +0000 |
commit | b9e8031ac88d51facbff4fe5dc635696174d0fe0 (patch) | |
tree | 05dedc70ca0258e67445920d7046bcfc1c4cc22f /Source/ModelViewer/ModelViewer.csproj | |
parent | d6bc9bf0a6eac0d8eb3b551c6da1d7754a10a6a1 (diff) |
Ported all projects to .NET Framework 4.0 in both Boogie.sln and Dafny.sln. Removed references to Microsoft.Contracts.dll everywhere since that is available in .NET Framework 4.0.
Diffstat (limited to 'Source/ModelViewer/ModelViewer.csproj')
-rw-r--r-- | Source/ModelViewer/ModelViewer.csproj | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Source/ModelViewer/ModelViewer.csproj b/Source/ModelViewer/ModelViewer.csproj index 3027900a..2bb80976 100644 --- a/Source/ModelViewer/ModelViewer.csproj +++ b/Source/ModelViewer/ModelViewer.csproj @@ -11,7 +11,8 @@ <RootNamespace>Microsoft.Boogie.ModelViewer</RootNamespace>
<AssemblyName>ModelViewer</AssemblyName>
<TargetFrameworkVersion>v4.0</TargetFrameworkVersion>
- <TargetFrameworkProfile>Client</TargetFrameworkProfile>
+ <TargetFrameworkProfile>
+ </TargetFrameworkProfile>
<FileAlignment>512</FileAlignment>
<PublishUrl>publish\</PublishUrl>
<Install>true</Install>
@@ -100,6 +101,7 @@ <DependentUpon>Resources.resx</DependentUpon>
<DesignTime>True</DesignTime>
</Compile>
+ <None Include="app.config" />
<None Include="Properties\Settings.settings">
<Generator>SettingsSingleFileGenerator</Generator>
<LastGenOutput>Settings.Designer.cs</LastGenOutput>
|