Skip to content

Change indentation rules to allow copy-paste#7114

Merged
odersky merged 11 commits intoscala:masterfrom
dotty-staging:change-indent
Aug 30, 2019

Commits

Commits on Aug 29, 2019