Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Proper UTF-8 encoding and line endings on Windows #5457

Merged
merged 19 commits into from Nov 21, 2018
Merged

Proper UTF-8 encoding and line endings on Windows #5457

merged 19 commits into from Nov 21, 2018

Commits on Nov 12, 2018

  1. fix exception 'UnmappableCharacterException' in dottydoc on Windows

    Stéphane Micheloud committed Nov 12, 2018
    Copy the full SHA
    72ef612 View commit details
    Browse the repository at this point in the history

  2. add batch scripts to build Dotty distro on Windows

    Stéphane Micheloud committed Nov 12, 2018
    Copy the full SHA
    0f94c25 View commit details
    Browse the repository at this point in the history

Commits on Nov 13, 2018

  1. small improvements in batch scripts for Dotty 0.10

    Stéphane Micheloud committed Nov 13, 2018
    Copy the full SHA
    36f6108 View commit details
    Browse the repository at this point in the history

  2. improved subcommands in build.bat

    Stéphane Micheloud committed Nov 13, 2018
    Copy the full SHA
    0717827 View commit details
    Browse the repository at this point in the history

  3. move batch scripts for distro to correct directory

    Stéphane Micheloud committed Nov 13, 2018
    Copy the full SHA
    4e57388 View commit details
    Browse the repository at this point in the history

  4. fix goto label and help handling in batch scripts

    Stéphane Micheloud committed Nov 13, 2018
    Copy the full SHA
    728cdff View commit details
    Browse the repository at this point in the history

  5. added batch scripts for sbt pack

    Stéphane Micheloud committed Nov 13, 2018
    Copy the full SHA
    52a4766 View commit details
    Browse the repository at this point in the history

Commits on Nov 14, 2018

  1. remove debug code

    Stéphane Micheloud committed Nov 14, 2018
    Copy the full SHA
    89437fb View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' of https://github.com/lampepfl/dotty

    Stéphane Micheloud committed Nov 14, 2018
    Copy the full SHA
    d30ef54 View commit details
    Browse the repository at this point in the history

  3. improved error messages in batch scripts

    @michelou
    michelou committed Nov 14, 2018
    Copy the full SHA
    3455189 View commit details
    Browse the repository at this point in the history

  4. reverted commits up to 72ef612 (PR #5430)

    @michelou
    michelou committed Nov 14, 2018
    Copy the full SHA
    28b4c04 View commit details
    Browse the repository at this point in the history

  5. added batch scripts for a new PR

    @michelou
    michelou committed Nov 14, 2018
    Copy the full SHA
    6688ea6 View commit details
    Browse the repository at this point in the history

  6. removed debug code from batch scripts

    @michelou
    michelou committed Nov 14, 2018
    Copy the full SHA
    205fab5 View commit details
    Browse the repository at this point in the history

  7. added compile subcommand to batch script

    @michelou
    michelou committed Nov 14, 2018
    Copy the full SHA
    a6df702 View commit details
    Browse the repository at this point in the history

Commits on Nov 16, 2018

  1. Merge remote-tracking branch 'upstream/master' into utf8-eol

    @michelou
    michelou committed Nov 16, 2018
    Copy the full SHA
    c97b1fc View commit details
    Browse the repository at this point in the history

  2. 2nd attempt (wrong merge operation ?)

    @michelou
    michelou committed Nov 16, 2018
    Copy the full SHA
    ae3e368 View commit details
    Browse the repository at this point in the history

Commits on Nov 19, 2018

  1. Merge branch 'master' of https://github.com/lampepfl/dotty into utf8-eol

    @michelou
    michelou committed Nov 19, 2018
    Copy the full SHA
    24d14e7 View commit details
    Browse the repository at this point in the history

Commits on Nov 21, 2018

  1. revert

    @michelou
    michelou committed Nov 21, 2018
    Copy the full SHA
    e13a467 View commit details
    Browse the repository at this point in the history

  2. applied suggested changes

    @michelou
    michelou committed Nov 21, 2018
    Copy the full SHA
    011239c View commit details
    Browse the repository at this point in the history