diff --git a/CNAME b/CNAME new file mode 100644 index 00000000..98570082 --- /dev/null +++ b/CNAME @@ -0,0 +1 @@ +webppl.org \ No newline at end of file