diff options
| author | Herbert Valerio Riedel <hvr@gnu.org> | 2014-09-19 00:10:36 +0200 |
|---|---|---|
| committer | Herbert Valerio Riedel <hvr@gnu.org> | 2014-09-19 00:10:36 +0200 |
| commit | db14fd8ab4fab43694139bc203808b814eafb2dc (patch) | |
| tree | 299e821c155bf324e80fc409ae224e46abb70535 /src/Documentation | |
| parent | 3f57c2423252731487f66f503b5119c3becf4673 (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 'src/Documentation')
0 files changed, 0 insertions, 0 deletions