Skip to content

Update RefinedPrinter to new given syntax#8265

Merged
odersky merged 1 commit intoscala:masterfrom
dotty-staging:update-refined-printer-to-new-given-syntax
Feb 10, 2020
Merged

Update RefinedPrinter to new given syntax#8265
odersky merged 1 commit intoscala:masterfrom
dotty-staging:update-refined-printer-to-new-given-syntax

Commits

Commits on Feb 9, 2020