]> Savannah Git Hosting - gnulib.git/commit
gnulib-tool.py: Make option processing more similar to gnulib-tool.
authorBruno Haible <bruno@clisp.org>
Sun, 31 Jul 2022 16:51:17 +0000 (18:51 +0200)
committerBruno Haible <bruno@clisp.org>
Sun, 31 Jul 2022 21:52:37 +0000 (23:52 +0200)
commited9b35551e31ba8f32593e6c51fa398b88c7b59a
treeeb4af003f48eda9afae31997d36cf8cdd4e70b63
parent45802545353c971265bde432755647a3bbf0a973
gnulib-tool.py: Make option processing more similar to gnulib-tool.

* gnulib-tool.py (main): Allow --add-import and --remove-import with 0
modules.
ChangeLog
gnulib-tool.py