Remove globalTools from metadata

This commit is contained in:
2023-11-13 15:37:36 +08:00
parent 0eba225723
commit d6601b0353
11 changed files with 21172 additions and 14730 deletions

View File

@@ -175,10 +175,6 @@ instance Arbitrary Tool where
arbitrary = genericArbitrary
shrink = genericShrink
instance Arbitrary GlobalTool where
arbitrary = genericArbitrary
shrink = genericShrink
instance Arbitrary GHCupInfo where
arbitrary = genericArbitrary
shrink = genericShrink

File diff suppressed because it is too large Load Diff