use python3 to build rpm
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 28 Dec 2018 23:56:14 +0000 (00:56 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 28 Dec 2018 23:56:14 +0000 (00:56 +0100)

No differences found