Simon Michael 6a96683691 web: make --auto and multiple -f options work again ... I think we lost one or both of these at the time of ecf49b1e.		2018-06-20 00:26:37 -07:00
..
Main.hs	web: make --auto and multiple -f options work again	2018-06-20 00:26:37 -07:00
WebOptions.hs	remove some CPP that's obsolete since we require base 4.8+	2018-06-04 17:33:21 -07:00