Commit 72ac023526e84e7847cc67788be9afca2f3204fb

Bruno Haible 2022-08-07T17:02:21

gnulib-tool.py: Implement option --find. * pygnulib/GLModuleSystem.py (GLModuleSystem.file_is_module): New method. (GLModuleSystem.list): Filter the listing in memory; don't use a 'sed' subprocess. * gnulib-tool.py (main): Handle mode 'find'.