Skip to content

Gitignore opam/ even if it is a symlink#394

Merged
avsm merged 1 commit into
mirage:masterfrom
craigfe:git-ignore-opam-switch-link
May 21, 2021
Merged

Gitignore opam/ even if it is a symlink#394
avsm merged 1 commit into
mirage:masterfrom
craigfe:git-ignore-opam-switch-link

Commits

Commits on May 21, 2021