Commit 1e57719d520683d08e8646fb2b778aa9d9afb294

Bruno Haible 2022-08-03T18:00:13

gnulib-tool.py: Implement option --without-tests. * gnulib-tool.py (main): Accept option --without-tests.