El RIDO 46c0fc851c Merge branch 'master' into php8		2022-11-17 06:04:12 +01:00
..
configuration-test-generator	Merge branch 'master' into php8	2022-11-17 06:04:12 +01:00
icon-test	Merge branch 'master' into bin	2022-11-10 19:28:29 +01:00
migrate	add a version check, the third argument in getopt requires PHP >= 7.1	2022-11-06 08:05:41 +01:00