log Makefile @ 6936:a239ea1dfacb default tip

age author description
Tue, 14 Mar 2023 18:07:41 +0100 Pierre-Yves David makefile: get setup tools out of the equation stable
Fri, 18 Feb 2022 11:55:40 +0100 Georges Racinet makefile: cleaned up the last hardcoded python calls stable
Fri, 12 Mar 2021 11:05:20 +0100 Pierre-Yves David make: default to using python3 stable