Raphaël ea7d73e5e6 Set terminal type for make command		2025-09-04 15:10:54 +02:00
..
workflows	Set terminal type for make command	2025-09-04 15:10:54 +02:00