diff options
Diffstat (limited to 'Source/DafnyServer/DafnyServer.csproj')
-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.
|