Simon Michael ea180f72a0 ui: briefer on-screen help, and a more detailed help dialog		2016-06-10 11:50:57 -07:00
..
UI	ui: briefer on-screen help, and a more detailed help dialog	2016-06-10 11:50:57 -07:00
UI.hs	cli/ui/web: rename X.Options modules to X.XOptions	2015-08-28 12:43:51 -07:00