mirror of
https://github.com/ellmau/adf-obdd.git
synced 2025-12-19 09:29:36 +01:00
Add direnv to gitignore
This commit is contained in:
parent
e7f38c100b
commit
e7d92918d9
3
.gitignore
vendored
3
.gitignore
vendored
@ -21,3 +21,6 @@ tramp
|
|||||||
*_flymake*
|
*_flymake*
|
||||||
|
|
||||||
/tests/out/
|
/tests/out/
|
||||||
|
|
||||||
|
# Ignore direnv data
|
||||||
|
/.direnv/
|
||||||
Loading…
x
Reference in New Issue
Block a user