Add `external/...` prefix to `${SRCDIR}` in external repos#1850

Merged

fmeum merged 1 commit intomasterfrom external-srcdir

Aug 1, 2024

+125-9

Commits on Aug 1, 2024

Add external/... prefix to ${SRCDIR} in external repos

fmeum
authored and
tyler-french
committed