Move dotty-bot project to its own repository

Moved to lampepfl/dotty-bot
vkuncak · Dec 10, 2017 · d3fe0dc · d3fe0dc
1 parent 211cc8f
commit d3fe0dc
Show file tree

Hide file tree

Showing 12 changed files with 0 additions and 1,718 deletions.
diff --git a/bot/src/dotty/tools/bot/Main.scala b/bot/src/dotty/tools/bot/Main.scala