aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorSimon Peyton Jones <simonpj@microsoft.com>2015-01-06 16:37:47 +0000
committerMatthew Pickering <matthewtpickering@gmail.com>2015-12-14 15:10:58 +0000
commit85ea110309c23509817a26aad7dd6d072f9f732b (patch)
tree0958df3cbb2ec1665d6958dd6b1c0c81a8fee7a9 /.gitignore
parent7e49f55580ffb701944603983b41873649bb35f6 (diff)
Remove redundant constraints from haddock, discovered by -fwarn-redundant-constraints
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions