Skip to content

Rename lockdirs to discourage checking them into version control#12648

Closed
gridbugs wants to merge 1 commit intoocaml:mainfrom
gridbugs:hide-lockdirs
Closed

Rename lockdirs to discourage checking them into version control#12648
gridbugs wants to merge 1 commit intoocaml:mainfrom
gridbugs:hide-lockdirs

Commits

Commits on Oct 29, 2025