Alexandre Bard e9b125ab1e scripts/update-source-revisions: Print errors when devtool fails		2023-08-21 12:37:25 +02:00
..
update-source-revisions.sh	scripts/update-source-revisions: Print errors when devtool fails	2023-08-21 12:37:25 +02:00