Skip to content

Rewrite dotty to indent after #17522#17618

Closed
adpi2 wants to merge 5 commits intoscala:mainfrom
adpi2:insert-indent-b
Closed

Rewrite dotty to indent after #17522#17618
adpi2 wants to merge 5 commits intoscala:mainfrom
adpi2:insert-indent-b

Commits

Commits on May 30, 2023