diff options
author | Dmitry Petrashko <dark@d-d.me> | 2015-05-22 13:15:40 +0200 |
---|---|---|
committer | Dmitry Petrashko <dark@d-d.me> | 2015-05-22 13:15:40 +0200 |
commit | 76c639283934faef5d3a9fd86bbaa6417aa2c8b2 (patch) | |
tree | 7ee663fb827e588fd22caa2ecb6853971aefea6d /.gitignore | |
parent | bf81fb62084f9e04e43906396c3ac5e307caca63 (diff) | |
parent | 0e5851ba8ed3b87dc4dbe12647edb97b6683c769 (diff) | |
download | dotty-76c639283934faef5d3a9fd86bbaa6417aa2c8b2.tar.gz dotty-76c639283934faef5d3a9fd86bbaa6417aa2c8b2.tar.bz2 dotty-76c639283934faef5d3a9fd86bbaa6417aa2c8b2.zip |
Merge pull request #594 from dotty-staging/use-utf8
Use UTF-8 by default on jenkins.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions