diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2020-07-12 18:16:57 +0200 |
|---|---|---|
| committer | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2020-07-12 18:16:57 +0200 |
| commit | 22b42eab6ec6b3b321b6d54041b7b3a6e54af3c9 (patch) | |
| tree | 60791b8e56e22f916652b62d5e232a7e020e677c /doc/.gitignore | |
| parent | 075067254fc30ef56bad67ac65dd3c5f4101f8fa (diff) | |
Sync with GHC removing {-# CORE #-} pragma
See ghc ticket #18048
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions