[py] Replace devtools genrule with proper generate_devtools rule. (#11392)
The existing genrule does not handle directories properly.
J
James Hilliard committed
b803c686243787bc45a41732d9348b08afaff449
Parent: 3f6717d
Committed by GitHub <noreply@github.com>
on 1/25/2023, 10:55:09 AM