Skip to content

Fix a bug in opam file transformation for distrib#168

Merged
samoht merged 3 commits intotarides:masterfrom NathanReb:fix-weird-opam-truncationSep 24, 2019

Commits

Commits on Sep 23, 2019