Skip to content

Remove old semanticdb project#8025

Merged
nicolasstucki merged 1 commit intoscala:masterfrom
dotty-staging:remove-old-semanticdb-project
Jan 17, 2020
Merged

Remove old semanticdb project#8025
nicolasstucki merged 1 commit intoscala:masterfrom
dotty-staging:remove-old-semanticdb-project

Commits

Commits on Jan 17, 2020