Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | maint: Run 'make update-copyright' | Paul Eggert | 2019-12-31 | 1 | -1/+1 |
* | maint: Run 'make update-copyright' | Paul Eggert | 2019-01-01 | 1 | -1/+1 |
* | gnulib-tool.py: import mktemp | Tim Rühsen | 2018-06-29 | 1 | -1/+2 |
* | maint: Run 'make update-copyright' | Paul Eggert | 2018-01-01 | 1 | -1/+1 |
* | all: prefer https: URLs | Paul Eggert | 2017-09-13 | 1 | -1/+1 |
* | gnulib-tool.py: follow gnulib-tool changes, part 3 | Bruno Haible | 2017-09-09 | 1 | -2/+1 |
* | gnulib-tool.py: Bump copyright years up to 2017. | Bruno Haible | 2017-09-09 | 1 | -1/+1 |
* | gnulib-tool.py: Accept option --dir instead of --destdir. | Bruno Haible | 2017-09-09 | 1 | -1/+1 |
* | [pygnulib] autopep8 (fixing indentation, style, etc.) | Dmitry Selyutin | 2017-09-08 | 1 | -931/+940 |
* | gnulib-tool.py: fix exception handling | Dmitry Selyutin | 2017-09-08 | 1 | -4/+1 |
* | gnulib-tool.py: fix errors on building wget2; use UTF-8 in subprocess | Dmitry Selyutin | 2017-09-08 | 1 | -1/+20 |
* | [pygnulib] initial merge (including some small bug fixes) | Dmitry Selyutin | 2017-09-08 | 1 | -0/+987 |