From 2666c9bd053b2a816c416e0d1f40a98796814096 Mon Sep 17 00:00:00 2001
From: stobies <unknown>
Date: Mon, 6 Dec 2010 13:09:04 +0000
Subject: Removed superfluous app.config

---
 Source/BoogieDriver/BoogieDriver.csproj | 3 ---
 Source/BoogieDriver/app.config          | 3 ---
 2 files changed, 6 deletions(-)
 delete mode 100644 Source/BoogieDriver/app.config

(limited to 'Source/BoogieDriver')

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>
-- 
cgit v1.2.3