Update gitignore
This commit is contained in:
parent
3062bf3d75
commit
75fd30674e
1 changed files with 3 additions and 2 deletions
5
.gitignore
vendored
5
.gitignore
vendored
|
|
@ -1,8 +1,9 @@
|
||||||
# Development scratchpad (lives in development-scratchpad repo)
|
# Development scratchpad
|
||||||
scratchpad
|
scratchpad
|
||||||
|
|
||||||
# Development journal (lives in development-journal repo)
|
# Development journal
|
||||||
docs/journal
|
docs/journal
|
||||||
|
|
||||||
# TLC working directories
|
# TLC working directories
|
||||||
docs/protocol/states/
|
docs/protocol/states/
|
||||||
|
states/
|
||||||
Loading…
Reference in a new issue