Commit 74f000c7d9d3cea55b6ad3131cf9e36076b08289

Bruno Haible 2024-03-21T15:45:42

gnulib-tool: Make the .gitignore files handling more consistent. * gnulib-tool.sh (func_done_dir): Ignore the presence or absence of a .git directory if there is a .gitignore file in the same place. * pygnulib/GLImport.py (GLImport._done_dir_): Likewise.