Skip to content

Fix #8769: change dottydoc root to docs/ subdirectory#9756

Merged
abgruszecki merged 1 commit intoscala:masterfrom
dotty-staging:dottydoc-root
Sep 21, 2020

Commits

Commits on Sep 18, 2020