chore(.gitignore): update .gitignore
This commit is contained in:
parent
d7ba5e3893
commit
6d5adb0429
1 changed files with 2 additions and 1 deletions
1
.gitignore
vendored
1
.gitignore
vendored
|
@ -13,3 +13,4 @@ Makefile
|
|||
CMakeFiles/
|
||||
.projectile
|
||||
.coveralls.yml
|
||||
doc/html
|
||||
|
|
Loading…
Reference in a new issue