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 /docs/images/martin.jpg | |
| 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 'docs/images/martin.jpg')
| -rw-r--r-- | docs/images/martin.jpg | bin | 0 -> 20589 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/docs/images/martin.jpg b/docs/images/martin.jpg Binary files differnew file mode 100644 index 000000000..c77654796 --- /dev/null +++ b/docs/images/martin.jpg |