diff options
author | 2011-07-15 11:15:43 -0700 | |
---|---|---|
committer | 2011-07-15 11:15:43 -0700 | |
commit | fb0960efe49ccb771ffee57e2cfaccdac6db4e04 (patch) | |
tree | c71d0660bb6cded43b68628d737f1e13f18b618d /Source/Dafny/DafnyPipeline.csproj | |
parent | 7dea3ce2cd43af0f3a7efc6ef57136d5a2fd8099 (diff) | |
parent | d844ae4047f8a4cd9aa8729fd1132155beaf5d8d (diff) |
Merge
Diffstat (limited to 'Source/Dafny/DafnyPipeline.csproj')
-rw-r--r-- | Source/Dafny/DafnyPipeline.csproj | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Source/Dafny/DafnyPipeline.csproj b/Source/Dafny/DafnyPipeline.csproj index 7f063c2c..6a15b1f7 100644 --- a/Source/Dafny/DafnyPipeline.csproj +++ b/Source/Dafny/DafnyPipeline.csproj @@ -1,4 +1,4 @@ -<?xml version="1.0" encoding="utf-8"?>
+<?xml version="1.0" encoding="utf-8"?>
<Project ToolsVersion="4.0" DefaultTargets="Build" xmlns="http://schemas.microsoft.com/developer/msbuild/2003">
<PropertyGroup>
<Configuration Condition=" '$(Configuration)' == '' ">Debug</Configuration>
@@ -147,11 +147,11 @@ </BootstrapperPackage>
</ItemGroup>
<Import Project="$(MSBuildToolsPath)\Microsoft.CSharp.targets" />
- <!-- To modify your build process, add your task inside one of the targets below and uncomment it.
+ <!-- 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.
<Target Name="BeforeBuild">
</Target>
<Target Name="AfterBuild">
</Target>
-->
-</Project>
\ No newline at end of file +</Project>
|