Filip Gawin 0bee94d1b9 Try to use ninja on CI		2018-11-22 22:03:57 +00:00
..
conan	Fix conan script error due to conan API change	2018-09-02 15:50:04 +01:00
docker	Try to use ninja on CI	2018-11-22 22:03:57 +00:00
generate_scripts_functions.py	Add script to generate stubs from script interfaces	2016-08-30 19:46:44 +01:00
verify-commit	Add verify-commit script for pre-commit style check	2016-09-09 20:16:51 +01:00