fix: avoid accepting directories as include files#248
Merged
jefftrull merged 2 commits intoboostorg:developfrom Apr 25, 2026
Merged
fix: avoid accepting directories as include files#248jefftrull merged 2 commits intoboostorg:developfrom
jefftrull merged 2 commits intoboostorg:developfrom
