Commit 45802545353c971265bde432755647a3bbf0a973

Bruno Haible 2022-07-31T18:48:25

gnulib-tool.py: Improve compliance with GNU standards. * gnulib-tool.py (main): Handle --help and --version before testing for conflicting modes.