rename

dhowe · Nov 19, 2023 · 04a23f9 · 04a23f9
1 parent 720fa20
commit 04a23f9
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 0 deletions.
diff --git a/gates.md → docs/gates.md b/gates.md → docs/gates.md
diff --git a/syntax.html → docs/syntax.html b/syntax.html → docs/syntax.html