Simon Michael 74512814ec cli/ui/web: rename X.Options modules to X.XOptions ... Make these modules' names more like the heavily-used types they define (CliOpts, UIOpts, WebOpts). This is consistent with RawOptions and ReportOptions, and helps with code navigation.		2015-08-28 12:43:51 -07:00
..
Web	cli/ui/web: rename X.Options modules to X.XOptions	2015-08-28 12:43:51 -07:00
Web.hs	cli/ui/web: rename X.Options modules to X.XOptions	2015-08-28 12:43:51 -07:00