Skip to content

Better handling of ctrl-c while the compiler is running#9429

Merged
smarter merged 1 commit intoscala:masterfrom
dotty-staging:better-ctrl-c
Jul 27, 2020
Merged

Better handling of ctrl-c while the compiler is running#9429
smarter merged 1 commit intoscala:masterfrom
dotty-staging:better-ctrl-c

Commits

Commits on Jul 24, 2020