tweak(.gitignore): remove unnecessary doc/index.html
This commit is contained in:
parent
91e9add348
commit
cf2c1d4d20
1 changed files with 0 additions and 1 deletions
1
.gitignore
vendored
1
.gitignore
vendored
|
@ -1,6 +1,5 @@
|
||||||
result
|
result
|
||||||
.direnv
|
.direnv
|
||||||
doc/index.html
|
|
||||||
|
|
||||||
# Result of bud commands
|
# Result of bud commands
|
||||||
vm
|
vm
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue