Skip to content

chore(gitignore): ignore dune-generated `*.install` manifests

825e73b
Select commit
Loading
Failed to load commit list.
Merged

chore(gitignore): ignore dune-generated *.install manifests #306

chore(gitignore): ignore dune-generated `*.install` manifests
825e73b
Select commit
Loading
Failed to load commit list.