Repository navigation

remove scope on post/pre incs - #8814

Merged

TomasVotruba merged 2 commits into

mainfrom

tv-cleanup-scope-5

Oct 24, 2026

Merged

remove scope on post/pre incs#8814
TomasVotruba merged 2 commits into
mainfrom
tv-cleanup-scope-5

Commits on Oct 24, 2026
- remove scome on post/pre incs
  TomasVotruba
  committed
  e228b77
- remove union/intersection scope
  TomasVotruba
  committed
  c777863