diff options
author | Roman Smrž <roman.smrz@seznam.cz> | 2019-05-02 22:14:18 +0200 |
---|---|---|
committer | Roman Smrž <roman.smrz@seznam.cz> | 2019-05-02 22:14:18 +0200 |
commit | 4b722b1ca195e70e2ac6518d88f79eb40a1095b2 (patch) | |
tree | 11b62bcf5d078a81e4c9d9c06aa5704792787e34 /src/ICE | |
parent | d6ae20e484eed27e5f7b9cb36905b529fdeec2fa (diff) |
Cabal: change 'extensions' to 'default-extensions'
Diffstat (limited to 'src/ICE')
0 files changed, 0 insertions, 0 deletions