Skip to content

Simplify the install stanza of extension universe otherlibs#2563

Merged
dkalinichenko-js merged 8 commits intomainfrom
dkalinichenko/improve-dune-install
May 14, 2024

Commits

Commits on May 13, 2024