diff options
author | 2010-11-27 06:11:23 +0000 | |
---|---|---|
committer | 2010-11-27 06:11:23 +0000 | |
commit | 3476c4e0ca9125236330dbb13d976110544e3e68 (patch) | |
tree | 8ec00be398c43837ad48dadc1d39ec7b85f6b40c /Source/BoogieDriver/app.config | |
parent | 1fecd3c5df726e84ae2dbaa8c7c5092dccb648ed (diff) |
two automatically generated app.config that I didn't add earlier.
Diffstat (limited to 'Source/BoogieDriver/app.config')
-rw-r--r-- | Source/BoogieDriver/app.config | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Source/BoogieDriver/app.config b/Source/BoogieDriver/app.config new file mode 100644 index 00000000..cb2586be --- /dev/null +++ b/Source/BoogieDriver/app.config @@ -0,0 +1,3 @@ +<?xml version="1.0"?>
+<configuration>
+<startup><supportedRuntime version="v4.0" sku=".NETFramework,Version=v4.0"/></startup></configuration>
|