diff options
author | Ryan Scott <ryan.gl.scott@gmail.com> | 2020-10-24 10:38:55 -0400 |
---|---|---|
committer | Ryan Scott <ryan.gl.scott@gmail.com> | 2020-10-30 04:53:05 -0400 |
commit | 3cce1bdee8c61bb6daa089059e12435178f50770 (patch) | |
tree | 32cb09fe0afa9753bf82fd90bd7016336439fc7b /doc/.gitignore | |
parent | 87a9f86d1ad7de67ff011311905ecf76578b26e9 (diff) |
Adapt to HsConDecl{H98,GADT}Details split
Needed for GHC#18844.
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions