title: Dotty Documentation
baseurl: "/dotty"
theme: minima
gems:
    - jekyll-toc

title: Dotty Documentation
baseurl: "/"
theme: minima
gems:
    - jekyll-toc

Change base url to match new CNAME from dotty.epfl.ch
Change base url to match new CNAME from dotty.epfl.ch