Simon Michael a154ea72c0 web: with --serve-api, also disable the header/sidebar HTML		2019-08-17 17:17:30 +01:00
..
Web	web: with --serve-api, also disable the header/sidebar HTML	2019-08-17 17:17:30 +01:00
Web.hs	ui, web: fix build after tests cleanup	2018-09-03 08:43:57 -07:00