mirror of
https://github.com/diodeinc/pcb.git
synced 2026-09-14 20:17:19 +08:00
17812e2425
Which is different from overall "workspace_root". Do this once at the top instead of at multiple downstream sites. Signed-off-by: akhilles <akhilvelagapudi@gmail.com>