Skip to content

Read include patterns as mask_t::assign_glob reads them - #8

Merged
jwiegley merged 1 commit into
mainfrom
johnw/include-glob-escapes
Nov 5, 2026
Merged

Read include patterns as mask_t::assign_glob reads them#8
jwiegley merged 1 commit into
mainfrom
johnw/include-glob-escapes

Read include patterns as mask_t::assign_glob reads them

d5c7eec
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Build oracle and check proofs (ubuntu-24.04-arm)
succeeded Nov 5, 2026 in 4m 38s