Evgeny Vereshchagin 6b8d32ea7b ci: turn off FuzzBuzz ... I don't think anyone uses it.		2020-03-30 14:57:22 +02:00
..
managers	ci: turn off FuzzBuzz	2020-03-30 14:57:22 +02:00
scripts	scripts: use 4 space indentation	2019-04-12 08:30:31 +02:00
tools	scripts: use 4 space indentation	2019-04-12 08:30:31 +02:00
.dockerignore	Integration of Travis CI and Coverity Scan Analysis (#7691)	2018-01-11 11:41:35 +01:00
Dockerfile	codespell: fix spelling errors	2019-04-29 16:47:18 +02:00
requirements.txt	tests: install perl for CI	2019-05-20 15:47:28 +02:00