Skip to content

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

Merged
hyperpolymath merged 1 commit into
mainfrom
gitignore-install-artefact
May 20, 2026
Merged

chore(gitignore): ignore dune-generated *.install manifests#306
hyperpolymath merged 1 commit into
mainfrom
gitignore-install-artefact

Commits

Commits on May 20, 2026