diff options
author | odersky <odersky@gmail.com> | 2016-12-25 20:49:12 +0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-12-25 20:49:12 +0700 |
commit | 1254fe40dfbd730f355dbedaec28238406b46ad1 (patch) | |
tree | 9d43a4ec445ba801a7bde3e697e6e95e31dba95e /docs/.gitignore | |
parent | 119725799675ee00d6d3374771765b88e4de67bc (diff) | |
parent | 95b70ce834313e60fbe27466b8bb6c1658c5c086 (diff) | |
download | dotty-1254fe40dfbd730f355dbedaec28238406b46ad1.tar.gz dotty-1254fe40dfbd730f355dbedaec28238406b46ad1.tar.bz2 dotty-1254fe40dfbd730f355dbedaec28238406b46ad1.zip |
Merge pull request #1853 from raygit/documentation-changes
Minor change to have proper markdowns
Diffstat (limited to 'docs/.gitignore')
0 files changed, 0 insertions, 0 deletions