diff options
| author | Alberto Ruiz <aruiz@um.es> | 2017-12-26 14:05:35 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-12-26 14:05:35 +0100 |
| commit | 0d4018b09f1d38bbc05fdc0d8197d0f8a6ce5571 (patch) | |
| tree | f7aae740fa7129c4641cf05a9e00260e48cd92bb /packages/base/src/Internal/Element.hs | |
| parent | 87c7682bbfd17308749d5e9568f1ffa25390ce79 (diff) | |
| parent | e83e2023da77ecaa9aaba15bc9bd48757f73b3a9 (diff) | |
Merge pull request #245 from konn/ghc84
Workaround for GHC-8.4.x
Diffstat (limited to 'packages/base/src/Internal/Element.hs')
0 files changed, 0 insertions, 0 deletions