Severin Kaderli cec3483ced Set micro as default terminal editor ... Signed-off-by: Severin Kaderli <severin@kaderli.dev>		2023-02-07 20:03:27 +01:00
..
history	Set micro as default terminal editor	2023-02-07 20:03:27 +01:00