Ilya Fedin 68f35e98e0 Have less Docker steps to avoid saving superfluous data		2022-04-18 10:06:16 +04:00
..
build.sh	Use ninja as much as possible in docker	2021-11-21 09:51:01 +04:00
Dockerfile	Have less Docker steps to avoid saving superfluous data	2022-04-18 10:06:16 +04:00
prepare.sh
run.sh	Switch to devtoolset-10 in Docker.	2021-11-17 10:03:14 +04:00