Skip to content

Remove old non-bootstrapped sources#10798

Merged
nicolasstucki merged 1 commit intoscala:masterfrom
dotty-staging:remove-old-non-boostrapped-sources
Dec 15, 2020
Merged

Remove old non-bootstrapped sources#10798
nicolasstucki merged 1 commit intoscala:masterfrom
dotty-staging:remove-old-non-boostrapped-sources

Commits

Commits on Dec 15, 2020