tree b0ea41437157569a2e9612904f4f049f549016dc
parent 3bdd412d096d779a4c4072b3a1df0a5571036d74
author Gilles Peskine <Gilles.Peskine@arm.com> 1564264564 +0200
committer Darryl Green <darryl.green@arm.com> 1573655614 +0000

Replace config.pl by a redirection to config.py

Keep config.pl in Perl in case people are running "perl config.pl".