diff options
| author | Simon Jakobi <simon.jakobi@gmail.com> | 2018-05-28 03:13:15 +0200 |
|---|---|---|
| committer | Simon Jakobi <simon.jakobi@gmail.com> | 2018-06-13 23:05:08 +0200 |
| commit | 090813eaa7a7dbc5ba20a979150ca37521849994 (patch) | |
| tree | fff9e458a132069a10f79538f965ad43450da75d /.gitignore | |
| parent | 9b9fb7ed2e7f30cca8693cdb186eaea8eeca0860 (diff) | |
Adjust to new HsDocString internals
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions