update README and .gitignore
This commit is contained in:
parent
7f99b487df
commit
7b8871ffd9
2 changed files with 1 additions and 5 deletions
1
.gitignore
vendored
1
.gitignore
vendored
|
|
@ -3,3 +3,4 @@
|
|||
/_opam
|
||||
/_build
|
||||
/utils/uxnmin
|
||||
/.envrc
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue