diff options
author | Martin Odersky <odersky@gmail.com> | 2015-02-13 12:47:45 +0100 |
---|---|---|
committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-03-18 11:11:06 +0100 |
commit | c078ad338e5e2f10a8229f74b7141e636dba2700 (patch) | |
tree | 8229630f73d77eb261990ccbba1a19f9187c74bd /.gitignore | |
parent | 93747cdb576d0a2cb17db1d392e1bdb56e8e6049 (diff) | |
download | dotty-c078ad338e5e2f10a8229f74b7141e636dba2700.tar.gz dotty-c078ad338e5e2f10a8229f74b7141e636dba2700.tar.bz2 dotty-c078ad338e5e2f10a8229f74b7141e636dba2700.zip |
Tweaks in comments
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions