Fix: add missing index.md.

wolverian · Dec 6, 2021 · 52fcc0e · 52fcc0e
1 parent f591a9d
commit 52fcc0e
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/index.md b/index.md
@@ -0,0 +1,5 @@
+---
+title: Agda template
+---
+
+Add some content here.