diff options
author | Martin Odersky <odersky@gmail.com> | 2016-10-01 21:29:20 +0200 |
---|---|---|
committer | Guillaume Martres <smarter@ubuntu.com> | 2016-10-11 19:21:02 +0200 |
commit | f6291e42082708e164ebc3456d84e69f4f29cf59 (patch) | |
tree | ff3fa65c359d289c2b76e9a634031ed0274b4978 /.gitignore | |
parent | bc791ed3390e954b7338594b771ad09c5150d591 (diff) | |
download | dotty-f6291e42082708e164ebc3456d84e69f4f29cf59.tar.gz dotty-f6291e42082708e164ebc3456d84e69f4f29cf59.tar.bz2 dotty-f6291e42082708e164ebc3456d84e69f4f29cf59.zip |
Change default of unsafe Config option
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions