diff options
author | Martin Odersky <odersky@gmail.com> | 2014-02-14 19:05:51 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-02-16 10:58:20 +0100 |
commit | 820e7243da725388e7c866423a8e31b2a9cd5c17 (patch) | |
tree | 0fe04f1867c720f92f48fad1abfe09c59d795736 /.gitattributes | |
parent | 8755d8521e25e300edd8486958e6673e8b708f0e (diff) | |
download | dotty-820e7243da725388e7c866423a8e31b2a9cd5c17.tar.gz dotty-820e7243da725388e7c866423a8e31b2a9cd5c17.tar.bz2 dotty-820e7243da725388e7c866423a8e31b2a9cd5c17.zip |
Some small doc changes
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions