Joerg Elfring 42f8d1e7e9 Inconsolata may be updated again\n\nAs we are using alacritty now		2020-08-30 13:52:48 +02:00
..
etc	Inconsolata may be updated again\n\nAs we are using alacritty now	2020-08-30 13:52:48 +02:00