Henri Saudubray 6bb5b16bd9 feat (home/shell): update alias		2025-12-26 12:15:12 +01:00
..
ocaml	feat (home/shell): update alias	2025-12-26 12:15:12 +01:00
why3	feat (home/shell): update alias	2025-12-26 12:15:12 +01:00