diff options
| author |  stobies <unknown> | 2010-12-06 13:09:04 +0000 |
|---|---|---|
| committer | stobies <unknown> | 2010-12-06 13:09:04 +0000 |
| commit | 2666c9bd053b2a816c416e0d1f40a98796814096 (patch) | |
| tree | 3e73a62de349fa2dabe66e9bcb3e4a23435a2dd4 /Source/BoogieDriver | |
| parent | fc8eefd389831e5ca4a176b71fe2c762bd701e21 (diff) | |
Removed superfluous app.config
Diffstat (limited to 'Source/BoogieDriver')
| -rw-r--r-- | Source/BoogieDriver/BoogieDriver.csproj | 3 | ||||
| -rw-r--r-- | Source/BoogieDriver/app.config | 3 |
2 files changed, 0 insertions, 6 deletions
diff --git a/Source/BoogieDriver/BoogieDriver.csproj b/Source/BoogieDriver/BoogieDriver.csproj index 1becfe9e..0f7be0fd 100644 --- a/Source/BoogieDriver/BoogieDriver.csproj +++ b/Source/BoogieDriver/BoogieDriver.csproj @@ -177,9 +177,6 @@ <Install>true</Install>
</BootstrapperPackage>
</ItemGroup>
- <ItemGroup>
- <None Include="app.config" />
- </ItemGroup>
<Import Project="$(MSBuildToolsPath)\Microsoft.CSharp.targets" />
<!-- 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.
diff --git a/Source/BoogieDriver/app.config b/Source/BoogieDriver/app.config deleted file mode 100644 index cb2586be..00000000 --- a/Source/BoogieDriver/app.config +++ /dev/null @@ -1,3 +0,0 @@ -<?xml version="1.0"?>
-<configuration>
-<startup><supportedRuntime version="v4.0" sku=".NETFramework,Version=v4.0"/></startup></configuration>
|