diff options
author | John MacFarlane <jgm@berkeley.edu> | 2020-12-18 11:07:47 -0800 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2020-12-18 11:07:47 -0800 |
commit | 5d09870b9ae59745ab5e5be2d1deccb7e76b42e2 (patch) | |
tree | e9c6f2481ae69de7d90874867e8b012fe34f5f92 /src/Text/Pandoc/Filter.hs | |
parent | 2bcb063df846b22a463fbf777cd23dc9b940df44 (diff) | |
download | pandoc-5d09870b9ae59745ab5e5be2d1deccb7e76b42e2.tar.gz |
Remove checkdocs from lint ci.
Diffstat (limited to 'src/Text/Pandoc/Filter.hs')
0 files changed, 0 insertions, 0 deletions