Simon Michael 7e896572a7 make --help and -h the same, drop --man and --info for now (#579)		2017-07-07 02:08:34 +01:00
..
Main.hs	make --help and -h the same, drop --man and --info for now (#579)	2017-07-07 02:08:34 +01:00
WebOptions.hs	lib: optserror -> usageError, consolidate with other error functions (#529)	2017-03-29 08:00:51 -07:00