Jiří Podivín b5c85468a3 Docker: change to calling convert.py (#1641) vor 2 Jahren
..
full.Dockerfile 0e730dd23b Adding git in container package dependencies (#1621) vor 2 Jahren
main.Dockerfile 0e730dd23b Adding git in container package dependencies (#1621) vor 2 Jahren
tools.sh b5c85468a3 Docker: change to calling convert.py (#1641) vor 2 Jahren