gnulib-tool.py: Make option processing more similar to gnulib-tool. * gnulib-tool.py (main): Allow --add-import and --remove-import with 0 modules.
2022-07-31T18:51:17