Skip to content

Shift on the typed word: keep it a typed word - #733

Closed
4di-hello wants to merge 1 commit into
LeanBitLab:mainfrom
4di-hello:fix/shift-recapitalize-typed-word
Closed

Shift on the typed word: keep it a typed word#733
4di-hello wants to merge 1 commit into
LeanBitLab:mainfrom
4di-hello:fix/shift-recapitalize-typed-word

Commits

  1. Commits on Oct 26, 2026