vincent 8cc6dfa595 modif propt configuration		2020-06-11 16:18:03 +02:00
..
alias	Revert "del nocorrect sudo alias"	2019-05-15 10:13:34 +02:00
prompt	modif propt configuration	2020-06-11 16:18:03 +02:00