Repository navigation

[Docs] DIRIGO.md: record the one code change on the branch - #22

Merged

rwkeyes merged 1 commit into

dirigo/0.2.12-verifiedfrom

docs/dirigo-invariant

Nov 15, 2026

Merged

[Docs] DIRIGO.md: record the one code change on the branch#22
rwkeyes merged 1 commit into
dirigo/0.2.12-verifiedfrom
docs/dirigo-invariant

Commits on Nov 15, 2026
- dirigo: record the one code change on the branch, instead of claiming none
  rwkeyes
  committed
  f25201f