Skip to content

Rename unused to ghost#4061

Merged
Blaisorblade merged 1 commit intoscala:masterfrom
dotty-staging:rename-unused
Mar 2, 2018
Merged

Rename `unused` to `ghost`#4061
Blaisorblade merged 1 commit intoscala:masterfrom
dotty-staging:rename-unused

Commits

Commits on Mar 2, 2018