Skip to content

Prune unused dependencies from manifests generated from spago.dhall files#667

Merged
thomashoneyman merged 7 commits intomasterfrom
trh/unused
Nov 6, 2023
Merged

Prune unused dependencies from manifests generated from spago.dhall files#667
thomashoneyman merged 7 commits intomasterfrom
trh/unused

Commits

Commits on Nov 2, 2023