Skip to content

Rename parameter used to configure nested bindings#1568

Merged
voodoos merged 1 commit intoocaml:masterfrom
Tim-ats-d:configurable-internal-code-lens
Oct 27, 2025
Merged

Rename parameter used to configure nested bindings#1568
voodoos merged 1 commit intoocaml:masterfrom
Tim-ats-d:configurable-internal-code-lens

Commits

Commits on Oct 27, 2025