diff --git a/.gitignore b/.gitignore index 68512597837..f4ec12960d4 100644 --- a/.gitignore +++ b/.gitignore @@ -7,7 +7,7 @@ logs/ .DS_Store build/ target/ -.local-execution-hints.log +*-execution-hints.log docs/html/ docs/build.log /tmp/