gnulib-tool: simplify/speed startup * gnulib-tool, gnulib-tool.py (prog): New var. Use it to simplify and speed up startup in common cases.
2024-07-06T16:41:44