python/lib/gen_external.py: remove duplicate
authorPaul Brossier <piem@piem.org>
Sun, 11 Dec 2016 01:43:55 +0000 (02:43 +0100)
committerPaul Brossier <piem@piem.org>
Sun, 11 Dec 2016 01:43:55 +0000 (02:43 +0100)
commit75190550b6a33f408ad3fb649091a4fc5d4da855
treedd577e688c6617a7a3d827ace3b7ed72bb12f3de
parentced47c74d1075ec9d153fa5b028221b566b7a218
python/lib/gen_external.py: remove duplicate
python/lib/gen_external.py