diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2016-10-31 11:40:15 +0100 |
---|---|---|
committer | Felix Mulder <felix.mulder@gmail.com> | 2016-10-31 11:40:15 +0100 |
commit | c3afcab0418cd965bf591f72f6b735d1ca998e1c (patch) | |
tree | 59505f8bcf6479c5697d4d6f1efc68f5a66690a7 /docs | |
parent | 557d448c626dd3fc93943523e6e28cf04288d848 (diff) | |
download | dotty-c3afcab0418cd965bf591f72f6b735d1ca998e1c.tar.gz dotty-c3afcab0418cd965bf591f72f6b735d1ca998e1c.tar.bz2 dotty-c3afcab0418cd965bf591f72f6b735d1ca998e1c.zip |
Create CNAME
Diffstat (limited to 'docs')
-rw-r--r-- | docs/CNAME | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/CNAME b/docs/CNAME new file mode 100644 index 000000000..ed5ff1bc5 --- /dev/null +++ b/docs/CNAME @@ -0,0 +1 @@ +dotty.epfl.ch
\ No newline at end of file |