summaryrefslogtreecommitdiff
path: root/gnulib-tool.py
Commit message (Expand)AuthorAgeFilesLines
* maint: run 'make update-copyright'Paul Eggert2020-12-311-1/+1
* maint: Run 'make update-copyright'Paul Eggert2019-12-311-1/+1
* maint: Run 'make update-copyright'Paul Eggert2019-01-011-1/+1
* gnulib-tool.py: import mktempTim Rühsen2018-06-291-1/+2
* maint: Run 'make update-copyright'Paul Eggert2018-01-011-1/+1
* all: prefer https: URLsPaul Eggert2017-09-131-1/+1
* gnulib-tool.py: follow gnulib-tool changes, part 3Bruno Haible2017-09-091-2/+1
* gnulib-tool.py: Bump copyright years up to 2017.Bruno Haible2017-09-091-1/+1
* gnulib-tool.py: Accept option --dir instead of --destdir.Bruno Haible2017-09-091-1/+1
* [pygnulib] autopep8 (fixing indentation, style, etc.)Dmitry Selyutin2017-09-081-931/+940
* gnulib-tool.py: fix exception handlingDmitry Selyutin2017-09-081-4/+1
* gnulib-tool.py: fix errors on building wget2; use UTF-8 in subprocessDmitry Selyutin2017-09-081-1/+20
* [pygnulib] initial merge (including some small bug fixes)Dmitry Selyutin2017-09-081-0/+987