Skip to content

Comments

Improvements to cabal make targets#1979

Merged
pcapriotti merged 3 commits intodevelopfrom
pcapriotti/improve-make-c-target
Dec 10, 2021
Merged

Improvements to cabal make targets#1979
pcapriotti merged 3 commits intodevelopfrom
pcapriotti/improve-make-c-target

Commits

Commits on Dec 9, 2021