Evgeny Vereshchagin 6b8d32ea7b ci: turn off FuzzBuzz ... I don't think anyone uses it.		2020-03-30 14:57:22 +02:00
..
debian.sh	ci: add new dependencies to CI	2020-01-28 22:38:22 +01:00
fedora.sh	ci: add new dependencies to CI	2020-01-28 22:38:22 +01:00
fuzzbuzz.sh	ci: turn off FuzzBuzz	2020-03-30 14:57:22 +02:00
fuzzit.sh	travis: install ninja with pip	2020-03-30 02:57:56 +03:00
travis_wait.bash	scripts: use 4 space indentation	2019-04-12 08:30:31 +02:00