aboutsummaryrefslogtreecommitdiff
path: root/doc/docbook-xml.mk
diff options
context:
space:
mode:
authorHerbert Valerio Riedel <hvr@gnu.org>2014-09-19 00:10:36 +0200
committerHerbert Valerio Riedel <hvr@gnu.org>2014-09-19 00:10:36 +0200
commitdb14fd8ab4fab43694139bc203808b814eafb2dc (patch)
tree299e821c155bf324e80fc409ae224e46abb70535 /doc/docbook-xml.mk
parent3f57c2423252731487f66f503b5119c3becf4673 (diff)
Revert "Followup changes to addition of -fwarn-context-quantification"
This reverts commit 4023817d7c0e46db012ba2eea28022626841ca9b temporarily as the respective feature hasn't landed in GHC HEAD yet, but this commit blocks later commits from being referenced in GHC HEAD.
Diffstat (limited to 'doc/docbook-xml.mk')
0 files changed, 0 insertions, 0 deletions