diff options
author | stobies <unknown> | 2010-12-06 13:01:20 +0000 |
---|---|---|
committer | stobies <unknown> | 2010-12-06 13:01:20 +0000 |
commit | fc8eefd389831e5ca4a176b71fe2c762bd701e21 (patch) | |
tree | 1ea633b57d264947b5f16d0143101da5d2ef71f9 /Source/VCExpr/VCExpr.csproj | |
parent | bd6ea9a2ea5e864434a3b28ef309390c4e860765 (diff) |
Added version.cs as link to those projects that were missing it
Select 4.0 client profile on all projects
Diffstat (limited to 'Source/VCExpr/VCExpr.csproj')
-rw-r--r-- | Source/VCExpr/VCExpr.csproj | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Source/VCExpr/VCExpr.csproj b/Source/VCExpr/VCExpr.csproj index c712d6a1..c31ef160 100644 --- a/Source/VCExpr/VCExpr.csproj +++ b/Source/VCExpr/VCExpr.csproj @@ -34,7 +34,7 @@ <IsWebBootstrapper>false</IsWebBootstrapper>
<UseApplicationTrust>false</UseApplicationTrust>
<BootstrapperEnabled>true</BootstrapperEnabled>
- <TargetFrameworkProfile />
+ <TargetFrameworkProfile>Client</TargetFrameworkProfile>
</PropertyGroup>
<PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">
<DebugSymbols>true</DebugSymbols>
@@ -104,6 +104,9 @@ <Reference Include="System.Xml" />
</ItemGroup>
<ItemGroup>
+ <Compile Include="..\version.cs">
+ <Link>version.cs</Link>
+ </Compile>
<Compile Include="BigLiteralAbstracter.cs" />
<Compile Include="Boogie2VCExpr.cs" />
<Compile Include="Clustering.cs" />
|