mirror of
https://github.com/earendil-works/pi.git
synced 2026-06-18 15:54:04 +08:00
375d0bc4d6
Previously, user filters completely replaced manifest filtering. Now: 1. Manifest patterns are applied first (defines what package provides) 2. User patterns are applied on top (narrows down further) This means if a manifest excludes 10 extensions and user adds one more exclusion, all 11 are excluded (not just the user's one).
375d0bc4d6
ยท
2026-01-23 20:58:17 +01:00
History