diff options
Diffstat (limited to 'docs/_config.yml')
| -rw-r--r-- | docs/_config.yml | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/docs/_config.yml b/docs/_config.yml deleted file mode 100644 index 1bdfb808a..000000000 --- a/docs/_config.yml +++ /dev/null @@ -1,6 +0,0 @@ -title: Dotty Documentation -repository_url: "http://github.com/lampepfl/dotty" -baseurl: "" -theme: minima -gems: - - jekyll-toc |