summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2014-01-19 14:31:55 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2014-01-19 14:31:55 -0500
commite7e23eeb286ffac62b2b0a180c9ecc8510aaf33d (patch)
treed0e0d675ff55f71f0da9e88d49945c02832296c2 /doc
parent222a8082a05ccdefd8c663a26349b8eac8e988f1 (diff)
Make that purity analysis a bit more lax again
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions