Commit d42c4b5a002f0c9d3960d45510a3cc072799a954
2024-03-14T21:28:58
gnulib-tool: Obey environment variable GNULIB_TOOL_IMPL. * gnulib-tool.sh: Renamed from gnulib-tool. * gnulib-tool: New file, based on gnulib-tool.sh. * gnulib-tool.py: Check the Python version.