Update .gitignore to ignore the execution hints files
This commit is contained in:
parent
ca8ff571f9
commit
68bc785de8
|
@ -7,7 +7,7 @@ logs/
|
||||||
.DS_Store
|
.DS_Store
|
||||||
build/
|
build/
|
||||||
target/
|
target/
|
||||||
.local-execution-hints.log
|
*-execution-hints.log
|
||||||
docs/html/
|
docs/html/
|
||||||
docs/build.log
|
docs/build.log
|
||||||
/tmp/
|
/tmp/
|
||||||
|
|
Loading…
Reference in New Issue