Dave Page 110a51c5b2 Refactor Dockerfile to avoid needing to run supporting scripts (i.e. 'docker build .' will work) and minimise layers. Fixes #4752		2019-09-16 13:48:11 +01:00
..
docker	Refactor Dockerfile to avoid needing to run supporting scripts (i.e. 'docker build .' will work) and minimise layers. Fixes #4752	2019-09-16 13:48:11 +01:00
mac	…
pip	…
src	…
win32	Correct the condition to compare version for Windows installer. Regression of last commit.	2019-07-02 20:12:00 +05:30