Simon Michael a3ae4d88f8 ui: use -t/-l short flags for --tree/--flat, like cli (#1286)		2020-07-17 15:36:07 -07:00
..
UI	ui: use -t/-l short flags for --tree/--flat, like cli (#1286)	2020-07-17 15:36:07 -07:00
UI.hs	ui, web: fix build after tests cleanup	2018-09-03 08:43:57 -07:00