diff options
| author | Felix Mulder <felix.mulder@gmail.com> | 2016-10-07 15:34:38 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-10-07 15:34:38 +0200 |
| commit | 3bb27d468cb06894c72b9f2cfba854ad49d68a74 (patch) | |
| tree | 3a239da59946fcb2d6c7b7becd499c7b61e12007 /README.md | |
| parent | a1d8e04af89d4b1ffc0f1c4efe587b8882461d6e (diff) | |
| parent | 2ffc7cfaf05217394708d2c00ab85ab07663d03c (diff) | |
| download | dotty-3bb27d468cb06894c72b9f2cfba854ad49d68a74.tar.gz dotty-3bb27d468cb06894c72b9f2cfba854ad49d68a74.tar.bz2 dotty-3bb27d468cb06894c72b9f2cfba854ad49d68a74.zip | |
Merge pull request #1566 from felixmulder/topic/migrate-dotty.epfl.ch
Migrate dotty.epfl.ch to static site in repository
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions