Skip to content

Add local opam switch dir to gitignore#231

Closed
amiralies wants to merge 1 commit intorescript-lang:masterfrom
amiralies:opam-gitignore
Closed

Add local opam switch dir to gitignore#231
amiralies wants to merge 1 commit intorescript-lang:masterfrom
amiralies:opam-gitignore

Commits

Commits on May 8, 2021