diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2016-10-06 18:11:11 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-10-06 18:11:11 +0200 |
commit | 10ff9494165210b22eb80e989fc10c3ebf393bae (patch) | |
tree | ca9fa2f142b8e06d681d65eaf5afa5b44c7d98fc /dottydoc | |
parent | eaa7f1730aa9da0aa7e4b2c4e86fbcc3acf26131 (diff) | |
parent | 237ddc31ab0281f9f2cddf598fc5f9af50f91f06 (diff) | |
download | dotty-10ff9494165210b22eb80e989fc10c3ebf393bae.tar.gz dotty-10ff9494165210b22eb80e989fc10c3ebf393bae.tar.bz2 dotty-10ff9494165210b22eb80e989fc10c3ebf393bae.zip |
Merge pull request #1555 from felixmulder/topic/docs
Migrate wiki to docs dir
Diffstat (limited to 'dottydoc')
0 files changed, 0 insertions, 0 deletions