Commits

Breadcrumbs

History for

onb7aae46

User selector

All users

Datepicker

All time

Commit History

Commits on May 17, 2021

• Retire gitter.im/lampepfl/dotty in favor of scala/scala

  smarter

  committed
  9c518b3

Commits on Feb 9, 2021

• Fix footer layouts in doc

  romanowski

  committed
  801f9d8

Commits on Feb 4, 2021

• Keep documentation in one place.

  Show description for 321ece8
  romanowski

  committed
  321ece8

Commits on Jan 31, 2017

• Port old site to dottydoc

  felixmulder

  committed
  3cee0b5

Commits on Nov 7, 2016

• Fix highlighting in search, add highlights in forwarding links

  felixmulder

  committed
  e0c1d16

• Fix scala#1675: add edit on github button

  felixmulder

  committed
  f179c92

• Fix scala#1674: add search to doc site

  felixmulder

  committed
  fb0f3ff

Commits on Nov 6, 2016

• Fix scala#1668 - add encoding for default docs layout

  dos65

  committed
  74cb028

Commits on Oct 7, 2016

• Migrate dotty.epfl.ch to static site in repository

  felixmulder

  committed
  2ffc7cf

Commits on Oct 6, 2016

• Append baseurl to necessary links

  felixmulder

  committed
  5e90bca

• Remove relative links for markdown plugin

  Show description for 8c54c8f
  felixmulder

  committed
  8c54c8f

• Add Jekyll as static site generator

  felixmulder

  committed
  d6583e5

Loading