Skip to content

Commit a5c48d7

Browse files
committed
CodeContracts binaries has been updated to v1.7.11202.10 (released on 12/3/2014).
Updated NuGet version to match CodeContracts version; beta mark has been removed.
1 parent 73d02e9 commit a5c48d7

File tree

110 files changed

+12
-4
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

110 files changed

+12
-4
lines changed

Contracts/Bin/CCCheck.exe.config

Lines changed: 10 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,11 @@
1-
<?xml version="1.0" encoding="utf-8"?>
21
<configuration>
3-
<startup><supportedRuntime version="v4.0" sku=".NETFramework,Version=v4.5.1"/></startup></configuration>
2+
<startup useLegacyV2RuntimeActivationPolicy="true">
3+
<supportedRuntime version="v4.0" />
4+
</startup>
5+
<runtime>
6+
<!--
7+
<gcConcurrent enabled="false"/>
8+
-->
9+
<gcServer enabled="true"/>
10+
</runtime>
11+
</configuration>
0 Bytes
Binary file not shown.
0 Bytes
Binary file not shown.

Contracts/Bin/cccheck.exe

1 KB
Binary file not shown.

Contracts/Bin/ccdocgen.exe

0 Bytes
Binary file not shown.

Contracts/Bin/ccrefgen.exe

512 Bytes
Binary file not shown.

Contracts/Bin/ccrewrite.exe

0 Bytes
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.

0 commit comments

Comments
 (0)