Skip to content

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

Merged
thomashoneyman merged 7 commits intomasterfrom trh/unusedNov 6, 2023

Commits

Commits on Nov 2, 2023