| Tue, 01 Jan 2019 00:25:11 +0100 |
Paul Eggert |
maint: Run 'make update-copyright'
|
| Wed, 13 Jun 2018 12:15:37 +0200 |
Tim Rühsen |
gnulib-tool.py: import mktemp
|
| Mon, 01 Jan 2018 00:57:25 +0000 |
Paul Eggert |
maint: Run 'make update-copyright'
|
| Wed, 13 Sep 2017 00:48:18 -0700 |
Paul Eggert |
all: prefer https: URLs
|
| Sat, 09 Sep 2017 00:32:50 +0200 |
Bruno Haible |
gnulib-tool.py: follow gnulib-tool changes, part 3
|
| Sat, 09 Sep 2017 00:38:56 +0200 |
Bruno Haible |
gnulib-tool.py: Bump copyright years up to 2017.
|
| Fri, 08 Sep 2017 23:45:39 +0200 |
Bruno Haible |
gnulib-tool.py: Accept option --dir instead of --destdir.
|
| Fri, 08 Sep 2017 18:34:58 +0300 |
Dmitry Selyutin |
[pygnulib] autopep8 (fixing indentation, style, etc.)
|
| Tue, 05 Sep 2017 23:33:50 +0300 |
Dmitry Selyutin |
gnulib-tool.py: fix exception handling
|
| Tue, 05 Sep 2017 10:04:18 +0300 |
Dmitry Selyutin |
gnulib-tool.py: fix errors on building wget2; use UTF-8 in subprocess
|
| Sun, 20 Aug 2017 11:17:58 +0300 |
Dmitry Selyutin |
[pygnulib] initial merge (including some small bug fixes)
|
