Simon Vieille 2c703e6eee set php7.4 as default version		2020-12-04 13:20:54 +01:00
..
config.dist	set php7.4 as default version	2020-12-04 13:20:54 +01:00