Added scopt.#11625

Closed

dotbg wants to merge 5 commits intoscala:masterfrom

dotbg:dotty-scopt

Commits on Mar 11, 2021

Added scopt.
dotbg
committed

Commits on Mar 12, 2021

added sbtPublish commands.
dotbg
committed

Commits on Mar 13, 2021

Merge branch 'master' of github.com:lampepfl/dotty into dotty-scopt
dotbg
committed

Commits on Apr 10, 2021

Merge branch 'master' of github.com:lampepfl/dotty into dotty-scopt
dotbg
committed

Commits on May 7, 2021

Merge remote-tracking branch 'origin' into dotty-scopt
dotbg
committed