Repository navigation

Take docs 0.4.0: a search box, and a card drawn in a named face - #62

Merged

zmaril merged 3 commits into

mainfrom

claude/docs-0-3-0

Aug 30, 2026

Commits on Aug 30, 2026
- chore: take docs 0.3.0, and the search box that comes with it
  claude
  committed
  e8016a2
- chore: take docs 0.3.1
  claude
  committed
  b18379f
- chore: take docs 0.4.0, and redraw the card in a named face
  claude
  committed
  d997cec