Skip to content

Commit d3fe0dc

Browse files
committed
Move dotty-bot project to its own repository
Moved to lampepfl/dotty-bot
1 parent 211cc8f commit d3fe0dc

12 files changed

+0
-1718
lines changed

bot/src/dotty/tools/bot/Main.scala

Lines changed: 0 additions & 26 deletions
This file was deleted.

0 commit comments

Comments
 (0)