Skip to content

Fix genDoc script. Make sure main website is generated on snapshot.#8131

Merged
nicolasstucki merged 1 commit intoscala:masterfrom
dotty-staging:doc-fix
Jan 30, 2020

Commits

Commits on Jan 29, 2020