Commit 6c81a58144966563f1ddf467c2071f44ba3c1232
2017-09-09T01:04:08
gnulib-tool.py: follow gnulib-tool changes, part 5 Follow gnulib-tool change 2013-05-04 Stefano Lattarini <stefano.lattarini@gmail.com> Assume gnulib is checked out from Git, not CVS