bluespec-docs/content/_index.md
2025-02-12 15:54:12 -05:00

4 lines
33 B
Markdown

+++
redirect_to = "chapter1"
+++