chore(.gitignore): exclude emacs dependencies subdirectory
This commit is contained in:
parent
a57251913a
commit
3971102953
1 changed files with 2 additions and 1 deletions
3
.gitignore
vendored
3
.gitignore
vendored
|
@ -20,4 +20,5 @@ CMakeFiles/
|
|||
.coveralls.yml
|
||||
.lean_options
|
||||
doc/html
|
||||
make.deps
|
||||
make.deps
|
||||
src/emacs/dependencies
|
||||
|
|
Loading…
Reference in a new issue