diff options
author | Bruno Haible <bruno@clisp.org> | 2022-08-04 18:35:49 +0200 |
---|---|---|
committer | Bruno Haible <bruno@clisp.org> | 2022-08-04 18:35:49 +0200 |
commit | af4eb877e856092bb2963661675f301806cf67c7 (patch) | |
tree | 0eed21b6d9338e7cc43bd3c5210cb3d6dceaf5b1 /pygnulib/GLTestDir.py | |
parent | 2a33db96531933f00405522d94ebc658236f0b84 (diff) | |
download | gnulib-af4eb877e856092bb2963661675f301806cf67c7.tar.gz |
gnulib-tool.py: Implement options --cache-modules, --no-cache-modules.
* gnulib-tool.py (main): Accept options --cache-modules,
--no-cache-modules.
* pygnulib/GLConfig.py: Remove modcache property and constructor
argument.
* pygnulib/GLInfo.py (GLInfo.usage): Don't document these no-op options.
Diffstat (limited to 'pygnulib/GLTestDir.py')
0 files changed, 0 insertions, 0 deletions