diff options
author | mathieui <mathieui@mathieui.net> | 2019-10-27 14:51:27 +0100 |
---|---|---|
committer | mathieui <mathieui@mathieui.net> | 2019-10-27 14:51:27 +0100 |
commit | abe1941abfd5d0be8517f1a1a8de8ccd2ad0766b (patch) | |
tree | 7dbb35293a7dfbc7464b76e3226392516aa2feb4 /doc/source/theme/sphinx_rtd_theme/static | |
parent | 80a7babc0c6e850f2de7572ebc94729ee24fcde3 (diff) | |
download | poezio-abe1941abfd5d0be8517f1a1a8de8ccd2ad0766b.tar.gz poezio-abe1941abfd5d0be8517f1a1a8de8ccd2ad0766b.tar.bz2 poezio-abe1941abfd5d0be8517f1a1a8de8ccd2ad0766b.tar.xz poezio-abe1941abfd5d0be8517f1a1a8de8ccd2ad0766b.zip |
CI: add a linting stage, and put mypy in there
Obviously failing at the moment.
Diffstat (limited to 'doc/source/theme/sphinx_rtd_theme/static')
0 files changed, 0 insertions, 0 deletions