diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2016-11-17 13:02:10 +0100 |
---|---|---|
committer | Felix Mulder <felix.mulder@gmail.com> | 2016-11-22 16:22:23 +0100 |
commit | 5378076302de94d8db64d00652c89eeacbd2649c (patch) | |
tree | 861bf20b2931ca52e81657e4dbf2d78a6b6896cc /docs | |
parent | 6bba7674703575113eeb49af8d706f2171bf6e06 (diff) | |
download | dotty-5378076302de94d8db64d00652c89eeacbd2649c.tar.gz dotty-5378076302de94d8db64d00652c89eeacbd2649c.tar.bz2 dotty-5378076302de94d8db64d00652c89eeacbd2649c.zip |
Add drone integration
Diffstat (limited to 'docs')
-rw-r--r-- | docs/CNAME | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/docs/CNAME b/docs/CNAME deleted file mode 100644 index ed5ff1bc5..000000000 --- a/docs/CNAME +++ /dev/null @@ -1 +0,0 @@ -dotty.epfl.ch
\ No newline at end of file |