Skip to content

Add opam local switch in gitignore#6364

Merged
psafont merged 1 commit intoxapi-project:masterfrom
xcp-ng:gtn-ignore-opam-local-switch
Mar 17, 2025
Merged

Add opam local switch in gitignore#6364
psafont merged 1 commit intoxapi-project:masterfrom
xcp-ng:gtn-ignore-opam-local-switch

Commits

Commits on Mar 17, 2025