Allow multiple preinclude files (#1763)

This commit is contained in:
Rangi
2025-07-19 17:07:15 -04:00
committed by GitHub
parent 9a4593e823
commit 2935942667
9 changed files with 20 additions and 17 deletions

View File

@@ -0,0 +1,4 @@
warn "another pre-included file"
def v1 += 10
def v2 -= 10