Merge pull request #97095 from timokau/hedgewars-hydra

hedgewars: enable build on hydra
This commit is contained in:
Timo Kaufmann 2020-09-04 16:58:33 +02:00 committed by GitHub
commit 2b8a7711f6
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -103,6 +103,5 @@ mkDerivation rec {
all movement on the battlefield has ceased).'';
maintainers = with maintainers; [ kragniz fpletz ];
inherit (ghc.meta) platforms;
hydraPlatforms = [];
};
}