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/Writers/TEI.hs | |
| parent | 2bcb063df846b22a463fbf777cd23dc9b940df44 (diff) | |
| download | pandoc-5d09870b9ae59745ab5e5be2d1deccb7e76b42e2.tar.gz | |
Remove checkdocs from lint ci.
Diffstat (limited to 'src/Text/Pandoc/Writers/TEI.hs')
0 files changed, 0 insertions, 0 deletions