diff options
-rw-r--r-- | .hgignore | 2 | ||||
-rw-r--r-- | Source/Houdini/Houdini.csproj | 5 |
2 files changed, 5 insertions, 2 deletions
@@ -1,7 +1,7 @@ syntax: regexp
^Source/t$
^Source/_ReSharper\.Boogie$
-^(Source|BCT|Jennisys)/.*\.(user|suo|cache)$
+^(Source|BCT|Jennisys)/.*\.(user|suo|cache|vs10x)$
^Source/(Core|Dafny)/(Parser|Scanner).cs.old$
^Binaries/.*\.(dll|pdb|exe|manifest|config)$
^.*(bin|obj)/([^/]*/)?(Debug|Release|Checked|Debug All|DEBUG ALL)/.*$
diff --git a/Source/Houdini/Houdini.csproj b/Source/Houdini/Houdini.csproj index bd4e693b..b87f68d7 100644 --- a/Source/Houdini/Houdini.csproj +++ b/Source/Houdini/Houdini.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>
@@ -46,6 +46,9 @@ <Reference Include="System.Xml" />
</ItemGroup>
<ItemGroup>
+ <Compile Include="..\version.cs">
+ <Link>version.cs</Link>
+ </Compile>
<Compile Include="Checker.cs" />
<Compile Include="Houdini.cs" />
</ItemGroup>
|