Nuno Lopes 26c96e49cd travis: dont hang when installing tzdata		2021-02-21 01:01:11 +00:00
..
z3_base_ubuntu_20.04.Dockerfile	travis: dont hang when installing tzdata	2021-02-21 01:01:11 +00:00
z3_build.Dockerfile	travis: fall back to python 2; will move to 3 with ubuntu 20 only	2021-02-20 15:15:11 +00:00