Simon Michael 8873ffbe77 web: fix auto-exit in local mode, clarify startup messages		2013-05-01 12:02:47 -07:00
..
Main.hs	web: fix auto-exit in local mode, clarify startup messages	2013-05-01 12:02:47 -07:00
Options.hs	web: --server flag re-enables long-running, request-logging mode; output cleanups	2013-05-01 07:23:59 -07:00