Skip to content

opam: move all opam files to the opam subdir#6402

Merged
psafont merged 2 commits intoxapi-project:masterfrom
psafont:private/paus/dev/setup
Apr 2, 2025
Merged

opam: move all opam files to the opam subdir#6402
psafont merged 2 commits intoxapi-project:masterfrom
psafont:private/paus/dev/setup

Commits

Commits on Apr 2, 2025