Create CNAME

tlaplus · Mar 17, 2020 · 8a86b00 · 8a86b00
1 parent 199689a
commit 8a86b00
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/CNAME b/CNAME
@@ -0,0 +1 @@
+proofs.tlapl.us