Split off a Settings type from DynFlags
[ghc-hetmet.git] / settings.in
2011-04-21 Ian LynaghRename "extra-gcc-opts" to "settings", and start genera...