diff options
| author | Felix Mulder <felix.mulder@gmail.com> | 2016-10-06 19:06:34 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-10-06 19:06:34 +0200 |
| commit | a1d8e04af89d4b1ffc0f1c4efe587b8882461d6e (patch) | |
| tree | fcca2f8369f50db0ed594d297c41860f9fe135cb /docs/docs | |
| parent | 5f6a24c8dc2d2fc8e8c78c6a68d224dd38bf2b8e (diff) | |
| parent | 3ed6ffc77c5bc7ff8f2fb38d31d33c4d02e03c8e (diff) | |
| download | dotty-a1d8e04af89d4b1ffc0f1c4efe587b8882461d6e.tar.gz dotty-a1d8e04af89d4b1ffc0f1c4efe587b8882461d6e.tar.bz2 dotty-a1d8e04af89d4b1ffc0f1c4efe587b8882461d6e.zip | |
Merge pull request #1564 from felixmulder/topic/fixyfixy-config.yml
Fix gh pages config file
Diffstat (limited to 'docs/docs')
0 files changed, 0 insertions, 0 deletions