diff options
author | Adam Gundry <adam@well-typed.com> | 2020-12-01 09:17:04 +0000 |
---|---|---|
committer | Adam Gundry <adam@well-typed.com> | 2020-12-23 21:35:01 +0000 |
commit | 8a5ccf93c53a40abe42134c2282ac9b9d653224c (patch) | |
tree | ac3e86d28fc78858c099383ce1c29477ab5cd67a /latex-test/ref/Example/Example.tex | |
parent | beafcacfd0fc3d447d461a2be3378e50ef77d9c0 (diff) |
Adapt to changes to GlobalRdrElt and AvailInfo
Needed for ghc/ghc!4467
Diffstat (limited to 'latex-test/ref/Example/Example.tex')
0 files changed, 0 insertions, 0 deletions