summaryrefslogtreecommitdiff
path: root/doc/source/theme/sphinx_rtd_theme/searchbox.html
diff options
context:
space:
mode:
authormathieui <mathieui@mathieui.net>2019-10-27 14:51:27 +0100
committermathieui <mathieui@mathieui.net>2019-10-27 14:51:27 +0100
commitabe1941abfd5d0be8517f1a1a8de8ccd2ad0766b (patch)
tree7dbb35293a7dfbc7464b76e3226392516aa2feb4 /doc/source/theme/sphinx_rtd_theme/searchbox.html
parent80a7babc0c6e850f2de7572ebc94729ee24fcde3 (diff)
downloadpoezio-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