re-add index for simplicity

nnamtug · Feb 20, 2024 · 86112f5 · 86112f5
1 parent 4ff075c
commit 86112f5
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/index.txt → index.html b/index.txt → index.html