diff options
Diffstat (limited to 'pygnulib/GLInfo.py')
-rw-r--r-- | pygnulib/GLInfo.py | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/pygnulib/GLInfo.py b/pygnulib/GLInfo.py index 720e357c90..34b38db7eb 100644 --- a/pygnulib/GLInfo.py +++ b/pygnulib/GLInfo.py @@ -184,8 +184,6 @@ General options: directory. --local-dir=DIRECTORY Specify a local override directory where to look up files before looking in gnulib's directory. - --cache-modules Enable module caching optimization. - --no-cache-modules Disable module caching optimization. --verbose Increase verbosity. May be repeated. --quiet Decrease verbosity. May be repeated. |