Repository navigation

Docs: Homebrew setup and devkit.properties user settings - #199

Merged

satran004 merged 2 commits into

mainfrom

docs/homebrew-devkit-properties

Oct 14, 2026

Merged

Docs: Homebrew setup and devkit.properties user settings#199
satran004 merged 2 commits into
mainfrom
docs/homebrew-devkit-properties

Commits on Oct 14, 2026
- Docs: Homebrew setup and devkit.properties user settings
  
  satran004
  and
  claude
  committed
  72a4da2
- Docs: drop stale macOS arm64 Ogmios/Kupo warning
  
  satran004
  and
  claude
  committed
  52514e0