diff options
| author | Simon Jakobi <simon.jakobi@gmail.com> | 2018-05-28 03:13:15 +0200 |
|---|---|---|
| committer | Simon Jakobi <simon.jakobi@gmail.com> | 2018-05-31 04:17:47 +0200 |
| commit | 6857aefd94db1e25cd560a3c409a1d4e0efa3b4f (patch) | |
| tree | 1bf674ceb674b7b45f5f4312f73b1687d5008515 /.gitignore | |
| parent | 46ff2306f580c44915a6f3adb652f02b7f4edfe9 (diff) | |
Adjust to new HsDocString internals
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions