diff options
| author |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-07-31 17:55:23 -0700 |
|---|---|---|
| committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-07-31 17:55:23 -0700 |
| commit | 0579ef0552cf496b7c7b2246586b91b5bb42d406 (patch) | |
| tree | c86490ad724c8fd261c91a6bebd37d134bbf4ae4 /Source/DafnyServer | |
| parent | ce07a29685a27f01c596271e03d6a39a7090d12e (diff) | |
Integrate the DafnyServer project into the main Dafny solution
Diffstat (limited to 'Source/DafnyServer')
| -rw-r--r-- | Source/DafnyServer/DafnyServer.csproj | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/Source/DafnyServer/DafnyServer.csproj b/Source/DafnyServer/DafnyServer.csproj index 3da33f16..d1171d69 100644 --- a/Source/DafnyServer/DafnyServer.csproj +++ b/Source/DafnyServer/DafnyServer.csproj @@ -63,9 +63,6 @@ </ItemGroup>
<ItemGroup>
<None Include="App.config" />
- <None Include="DafnyPrelude.bpl">
- <CopyToOutputDirectory>PreserveNewest</CopyToOutputDirectory>
- </None>
</ItemGroup>
<Import Project="$(MSBuildToolsPath)\Microsoft.CSharp.targets" />
<!-- To modify your build process, add your task inside one of the targets below and uncomment it.
|