aboutsummaryrefslogtreecommitdiff
path: root/haddock-library/src/Documentation/Haddock
diff options
context:
space:
mode:
authorSebastian Méric de Bellefon <arnaudpourseb@gmail.com>2016-06-16 23:34:39 -0400
committerGitHub <noreply@github.com>2016-06-16 23:34:39 -0400
commit60f90cd279af21f9d1493cb089309b67ff513146 (patch)
tree3494d2e5f8a09595a9c8ca44cf98f6d30c78b65a /haddock-library/src/Documentation/Haddock
parente40990d4dbb80db2b7bf5a939866f9eaf4d5b309 (diff)
parentf45e2c42ae38d651c2d03063724383c35af15788 (diff)
Merge pull request #534 from bgamari/T531
ocean: Ensure that synopsis fully covers other content
Diffstat (limited to 'haddock-library/src/Documentation/Haddock')
0 files changed, 0 insertions, 0 deletions