diff options
| author |  mikebarnett <unknown> | 2010-07-30 04:12:05 +0000 |
|---|---|---|
| committer | mikebarnett <unknown> | 2010-07-30 04:12:05 +0000 |
| commit | b16618051e08f0b286e9f2171bdf6ed5efa552b1 (patch) | |
| tree | c02778a49d4405bba59c12630d793e98060f49b3 /Source/BoogieDriver/BoogieDriver.csproj | |
| parent | 4a9e9a62ff2d9a530e56c8ed9c3f6bae2b9bf8d4 (diff) | |
Made consistent the way all of the C# projects sign themselves and include the version information.
Diffstat (limited to 'Source/BoogieDriver/BoogieDriver.csproj')
| -rw-r--r-- | Source/BoogieDriver/BoogieDriver.csproj | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/Source/BoogieDriver/BoogieDriver.csproj b/Source/BoogieDriver/BoogieDriver.csproj index 844fd298..f5684a2b 100644 --- a/Source/BoogieDriver/BoogieDriver.csproj +++ b/Source/BoogieDriver/BoogieDriver.csproj @@ -86,7 +86,7 @@ </ItemGroup>
<ItemGroup>
<Compile Include="BoogieDriver.cs" />
- <Compile Include="version.cs" />
+ <Compile Include="..\version.cs" />
</ItemGroup>
<ItemGroup>
<ProjectReference Include="..\AbsInt\AbsInt.csproj">
@@ -135,9 +135,6 @@ </ProjectReference>
</ItemGroup>
<ItemGroup>
- <None Include="InterimKey.snk" />
- </ItemGroup>
- <ItemGroup>
<Folder Include="Properties\" />
</ItemGroup>
<Import Project="$(MSBuildToolsPath)\Microsoft.CSharp.targets" />
|