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/_includes/toc.html | |
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/_includes/toc.html')
0 files changed, 0 insertions, 0 deletions