Add options SplitObjectsBroken, GhcUnregisterised, DynamicExtension, ProjectVersion.
authorAndrey Mokhov <andrey.mokhov@gmail.com>
Tue, 13 Jan 2015 02:17:53 +0000 (02:17 +0000)
committerAndrey Mokhov <andrey.mokhov@gmail.com>
Tue, 13 Jan 2015 02:17:53 +0000 (02:17 +0000)
commitb5beba96f0d4c6ba31e0e97d08ca54502acf8ec7
treeafb372624473c1616e024268969287b610481158
parent7c9dfba2978d9dba7050e477938d3f99826d55f2
Add options SplitObjectsBroken, GhcUnregisterised, DynamicExtension, ProjectVersion.
cfg/default.config.in
src/Oracles/Flag.hs
src/Oracles/Option.hs