diff options
| author |  tabarbe <unknown> | 2010-07-16 22:19:59 +0000 |
|---|---|---|
| committer | tabarbe <unknown> | 2010-07-16 22:19:59 +0000 |
| commit | 555a2a738b4ff6410e2096937e5d924bea617b9a (patch) | |
| tree | fd73afbe35e59641b79ce4acadb587fb0dbfcb31 /Source/Provers/Isabelle | |
| parent | 0a63ffd0998685fa9295b09905cd0042973a8f2a (diff) | |
<Boogie> Final removal of Isabelle's mention of a Properties.cs file
Diffstat (limited to 'Source/Provers/Isabelle')
| -rw-r--r-- | Source/Provers/Isabelle/Isabelle.csproj | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Source/Provers/Isabelle/Isabelle.csproj b/Source/Provers/Isabelle/Isabelle.csproj index 94ccdfba..873e8bbb 100644 --- a/Source/Provers/Isabelle/Isabelle.csproj +++ b/Source/Provers/Isabelle/Isabelle.csproj @@ -92,12 +92,12 @@ </Reference>
</ItemGroup>
<ItemGroup>
- <Compile Include="Properties\AssemblyInfo.cs" />
- </ItemGroup>
- <ItemGroup>
<Compile Include="Prover.cs" />
<Compile Include="version.cs" />
</ItemGroup>
+ <ItemGroup>
+ <Folder Include="Properties\" />
+ </ItemGroup>
<Import Project="$(MSBuildToolsPath)\Microsoft.CSharp.targets" />
<!-- To modify your build process, add your task inside one of the targets below and uncomment it.
Other similar extension points exist, see Microsoft.Common.targets.
|