diff options
author | Alan Zimmerman <alan.zimm@gmail.com> | 2020-09-07 21:47:41 +0100 |
---|---|---|
committer | Alan Zimmerman <alan.zimm@gmail.com> | 2020-09-07 21:47:41 +0100 |
commit | 6dbf30c304505b94112663b9118ec47307d10e01 (patch) | |
tree | ef880a11c38bfee76359c5b602a1edcb033193b4 /doc | |
parent | 54468d1e60cb10093120137766cfc9dd91671c98 (diff) |
Match GHC for #18639, remove GENERATED pragma
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions