diff options
author | qadeer <unknown> | 2010-11-28 17:35:34 +0000 |
---|---|---|
committer | qadeer <unknown> | 2010-11-28 17:35:34 +0000 |
commit | d14c2f47bcb0d1fbc583c6255310919d45247264 (patch) | |
tree | f1b75cbf590f9f27715823b91aee6de22bff064d /DafnyDriver | |
parent | a5512994d583558de5ea83c034a07dda6ac4cbd4 (diff) |
forgot to check this file in
Diffstat (limited to 'DafnyDriver')
-rw-r--r-- | DafnyDriver/app.config | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/DafnyDriver/app.config b/DafnyDriver/app.config new file mode 100644 index 00000000..cb2586be --- /dev/null +++ b/DafnyDriver/app.config @@ -0,0 +1,3 @@ +<?xml version="1.0"?>
+<configuration>
+<startup><supportedRuntime version="v4.0" sku=".NETFramework,Version=v4.0"/></startup></configuration>
|