Julian Ospald ea58465240 Expand the selected bar		2020-10-11 21:16:48 +02:00
..
BrickMain.hs	Expand the selected bar	2020-10-11 21:16:48 +02:00
Main.hs	Allow to hide old versions of tools in TUI	2020-10-09 23:05:11 +02:00