Commit 858467abd14f2f513d407dbdc5a5093dc0147096
2022-08-07T14:09:03
gnulib-tool: Fix option --find in combination with option --local-dir. * gnulib-tool (func_prefixed_modules_in_dir): New function. (find): Use it, and filter the directory names away after the 'grep' pass.