diff options
author | Ben Gamari <ben@smart-cactus.org> | 2020-12-15 15:13:30 -0500 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2020-12-15 15:13:30 -0500 |
commit | 46c3db2460cea396fae525f4b9d8f40c34c0680e (patch) | |
tree | 00c2aee15ab7a091f976dc634b5aaba44be9aa15 /latex-test/ref/Example | |
parent | 4ffb30d8b637ccebecc81ce610f0af451ac8088d (diff) |
Revert "Enable two warnings (#1245) (#1268)"
As this does not build on GHC `master`.
This reverts commit 7936692badfe38f23ae95b51fb7bd7c2ff7e9bce.
Diffstat (limited to 'latex-test/ref/Example')
0 files changed, 0 insertions, 0 deletions