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/searchbox.html | |
| 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/searchbox.html')
0 files changed, 0 insertions, 0 deletions