Skip to content

Scaladoc: Fix filtering extensions. Better support for exports#14125

Merged
pikinier20 merged 2 commits intoscala:masterfrom
dotty-staging:scaladoc-fixes
Dec 28, 2021

Commits

Commits on Dec 28, 2021