diff options
| author | Alan Zimmerman <alan.zimm@gmail.com> | 2017-05-24 17:39:06 +0200 |
|---|---|---|
| committer | Alan Zimmerman <alan.zimm@gmail.com> | 2017-06-05 22:26:55 +0200 |
| commit | a9f774fa3c12f9b8e093e46d58e7872d3d478951 (patch) | |
| tree | dbc13ac0d4a85be03a4d5c4cf7ed213900d9ad24 /haddock-api/src/Haddock/Options.hs | |
| parent | 1e1f85d6513b84bac3ae13470900ac7c23e8640e (diff) | |
Rename extension index tags
Diffstat (limited to 'haddock-api/src/Haddock/Options.hs')
0 files changed, 0 insertions, 0 deletions