Gilles Peskine 04362a0ad6 Replace config.pl by a redirection to config.py
Keep config.pl in Perl in case people are running "perl config.pl".
2019-11-13 14:33:34 +00:00
..
2019-04-25 11:46:21 +01:00
2019-11-13 14:32:04 +00:00