Sylvain Tricot 13f0001dde Change how pip is installed in Makefile ... Previously, the ensurepip method was used but it is not working as expected in some Python distributions were it is not included. Falling back to the bootstraping get-pip.py is safer.		2021-09-23 16:53:02 +02:00
..
dockerized/linux	Change how pip is installed in Makefile	2021-09-23 16:53:02 +02:00
process.py	Work on continuous integration	2019-11-20 18:14:00 +01:00