Skip to content

Rename the setting -noindent into -no-indent.#10733

Merged
sjrd merged 1 commit intoscala:masterfrom
dotty-staging:rename-no-indent-setting
Feb 2, 2021

Commits

Commits on Jan 28, 2021