Skip to content

Fix opam lint#74

Merged
MisterDA merged 1 commit intoygrek:masterfrom kit-ty-kate:fix-opam-lintSep 18, 2024

Commits

Commits on Sep 18, 2024