Commit 2026-02-17 22:50 19564be9
View on Github →chore(MeasureTheory): fix indentation in markdown lists (#35443) Make sure to also indent subsequent lines of an item: this is required by the markdown specification (though not doc-gen), it expresses intent more clearly, and makes it easier to catch accidental misindentations.