Ilya Fedin c8cec18ad3 Update patches in Dockerfile		2022-04-18 20:17:08 +04:00
..
build.sh	Use ninja as much as possible in docker	2021-11-21 09:51:01 +04:00
Dockerfile	Update patches in Dockerfile	2022-04-18 20:17:08 +04:00
prepare.sh
run.sh	Switch to devtoolset-10 in Docker.	2021-11-17 10:03:14 +04:00