summaryrefslogtreecommitdiff
path: root/Binaries
diff options
context:
space:
mode:
authorGravatar chrishaw <unknown>2015-04-02 19:59:14 -0700
committerGravatar chrishaw <unknown>2015-04-02 19:59:14 -0700
commit4d502277ed355fc739cf0c1856044c30645fcd13 (patch)
tree67d4b59eb4b1735e18119c87a8ce7b793f0d8ad3 /Binaries
parent8a332057c2c9fc76e5fb112d430404d1aa47ea0d (diff)
Eliminate redundant checks of newtype and opaque function well-formedness from included files
Diffstat (limited to 'Binaries')
0 files changed, 0 insertions, 0 deletions