diff options
author | Jason Koenig <unknown> | 2011-07-15 18:08:08 -0700 |
---|---|---|
committer | Jason Koenig <unknown> | 2011-07-15 18:08:08 -0700 |
commit | b32e450d37de5797eb143dce80866e863d498102 (patch) | |
tree | 877bded3befc7db1599061dcced086d464c73242 /Source/Dafny/DafnyPipeline.csproj | |
parent | 1f850973d1c80f9474a9b07571c35d37a1a25368 (diff) | |
parent | fb0960efe49ccb771ffee57e2cfaccdac6db4e04 (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>
|