Skip to content

Relax restriction on project names being unique#2377

Merged
rgrinberg merged 1 commit intoocaml:masterfrom rgrinberg:relax-duplicate-project-namesJul 9, 2019
+257-158

Commits

Commits on Jul 9, 2019