diff options
| author |  qadeer <unknown> | 2010-11-27 06:11:23 +0000 |
|---|---|---|
| committer | qadeer <unknown> | 2010-11-27 06:11:23 +0000 |
| commit | 3476c4e0ca9125236330dbb13d976110544e3e68 (patch) | |
| tree | 8ec00be398c43837ad48dadc1d39ec7b85f6b40c /Source/BoogieDriver | |
| parent | 1fecd3c5df726e84ae2dbaa8c7c5092dccb648ed (diff) | |
two automatically generated app.config that I didn't add earlier.
Diffstat (limited to 'Source/BoogieDriver')
| -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>
|