diff options
| author | Alan Zimmerman <alan.zimm@gmail.com> | 2020-09-07 23:11:38 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-07 23:11:38 +0100 |
| commit | e514a52a496d1ec216568deec374872b4b5251a6 (patch) | |
| tree | ef880a11c38bfee76359c5b602a1edcb033193b4 /doc/conf.py | |
| parent | 5228394c88e67551e35bae1cab6b2e04eb4382f7 (diff) | |
| parent | 6dbf30c304505b94112663b9118ec47307d10e01 (diff) | |
Merge pull request #1232 from haskell/wip/T18639-remove-generated-pragma,
Match GHC for #18639, remove GENERATED pragma
Diffstat (limited to 'doc/conf.py')
0 files changed, 0 insertions, 0 deletions