Skip to content

Comments

Allow dash in dune init project name#11402

Merged
rgrinberg merged 1 commit intoocaml:mainfrom
art-w:init-dash
Jan 29, 2025
Merged

Allow dash in dune init project name#11402
rgrinberg merged 1 commit intoocaml:mainfrom
art-w:init-dash

Commits

Commits on Jan 29, 2025