diff options
| author | Alberto Ruiz <aruiz@um.es> | 2014-09-22 18:50:52 +0200 |
|---|---|---|
| committer | Alberto Ruiz <aruiz@um.es> | 2014-09-22 18:50:52 +0200 |
| commit | ff746ea0bd8710fd515f87bc764480e8d613be14 (patch) | |
| tree | 21d764b3f1ecd8bc3aa789e6278bf503226abce1 /.gitignore | |
| parent | 0c3bdccc5f3b91f3f9f100a9b3756c6b19c7f195 (diff) | |
| parent | 420cdfe9517a5e5ade85b3ac200bd69543c793b8 (diff) | |
Merge pull request #87 from nh2/element-haddock-more-prominent
Make docs of generic `instance Element Foo` more prominent
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions