diff options
| author | Bruno Haible <bruno@clisp.org> | 2022-07-31 18:51:17 +0200 |
|---|---|---|
| committer | Bruno Haible <bruno@clisp.org> | 2022-07-31 23:52:37 +0200 |
| commit | ed9b35551e31ba8f32593e6c51fa398b88c7b59a (patch) | |
| tree | eb4af003f48eda9afae31997d36cf8cdd4e70b63 /pygnulib | |
| parent | 45802545353c971265bde432755647a3bbf0a973 (diff) | |
| download | gnulib-ed9b35551e31ba8f32593e6c51fa398b88c7b59a.tar.gz | |
gnulib-tool.py: Make option processing more similar to gnulib-tool.
* gnulib-tool.py (main): Allow --add-import and --remove-import with 0
modules.
Diffstat (limited to 'pygnulib')
0 files changed, 0 insertions, 0 deletions