diff options
author | Sylvain Henry <sylvain@haskus.fr> | 2020-02-28 11:43:52 +0100 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-03-20 20:43:41 -0400 |
commit | faa36e5b3674a7b2cfc6b931eec27b3558fad33b (patch) | |
tree | 2774efc11e96109b6354a56bbbc8909beed2a88f /.gitlab | |
parent | 73a7383ebc17f495d7acd04007c8c56b46532cb6 (diff) | |
download | haskell-faa36e5b3674a7b2cfc6b931eec27b3558fad33b.tar.gz |
Hadrian: ignore in-tree GMP objects with ``--lint``
Diffstat (limited to '.gitlab')
0 files changed, 0 insertions, 0 deletions