Skip to content

Handle a missing -P/--preinclude file the same as an INCLUDE#1873

Merged
Rangi42 merged 1 commit intogbdev:masterfrom
Rangi42:generate-preinclude
Dec 8, 2025
Merged

Handle a missing -P/--preinclude file the same as an INCLUDE#1873
Rangi42 merged 1 commit intogbdev:masterfrom
Rangi42:generate-preinclude

Commits

Commits on Dec 8, 2025