Fix exception 'UnmappableCharacterException' in dottydoc on Windows#5430

Merged

allanrenucci merged 11 commits intoscala:masterfrom

michelou:master

Nov 14, 2018

Commits on Nov 12, 2018

fix exception 'UnmappableCharacterException' in dottydoc on Windows
Stéphane Micheloud
committed
add batch scripts to build Dotty distro on Windows
Stéphane Micheloud
committed

Commits on Nov 13, 2018

small improvements in batch scripts for Dotty 0.10
Stéphane Micheloud
committed
improved subcommands in build.bat
Stéphane Micheloud
committed
move batch scripts for distro to correct directory
Stéphane Micheloud
committed
fix goto label and help handling in batch scripts
Stéphane Micheloud
committed
added batch scripts for sbt pack
Stéphane Micheloud
committed

Commits on Nov 14, 2018

remove debug code
Stéphane Micheloud
committed
Merge branch 'master' of https://github.com/lampepfl/dotty
Stéphane Micheloud
committed
improved error messages in batch scripts
michelou
committed
reverted commits up to 72ef612 (PR #5430)
michelou
committed