diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2024-03-23 17:12:28 +0100 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2024-03-23 17:49:50 +0100 |
| commit | d684bc2b012e23e3cc0dfa1195a74abac661b926 (patch) | |
| tree | 2c00f6e065219adcc609a3ee83fa241a8785ca01 /src/Erebos/Set.hs | |
| parent | a168d79d757c28cd328b9c9cd0fb5033c57a4ee7 (diff) | |
Enable -Werror for CI testing
Diffstat (limited to 'src/Erebos/Set.hs')
0 files changed, 0 insertions, 0 deletions