Skip to content

Better defaults (doExactConfig = true; doHaddock = true; non-reinstallable lib:ghc)#206

Merged
angerman merged 8 commits intomasterfrom
angerman/fix-201
Jul 16, 2019
Merged

Better defaults (doExactConfig = true; doHaddock = true; non-reinstallable lib:ghc)#206
angerman merged 8 commits intomasterfrom
angerman/fix-201

Commits

Commits on Jul 14, 2019

Commits on Jul 15, 2019

Commits on Jul 16, 2019