Repository navigation

Release/1.0.0rc2 - #35

Merged

PonteIneptique merged 2 commits into

mainfrom

release/1.0.0rc2

Jul 4, 2026

Merged

Release/1.0.0rc2#35
PonteIneptique merged 2 commits into
mainfrom
release/1.0.0rc2

Commits on Jul 4, 2026
- Copy citation-anchoring milestones (cb/pb) into milestone-nested passages
  PonteIneptique
  committed
  04aade4
- 1.0.0rc2
  PonteIneptique
  committed
  3764a70