Skip to content

Commit

Permalink
chore: Update .gitignore
Browse files Browse the repository at this point in the history
  • Loading branch information
erikmd committed Jul 27, 2021
1 parent 870a379 commit 5a6474a
Showing 1 changed file with 6 additions and 0 deletions.
6 changes: 6 additions & 0 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -85,3 +85,9 @@ setup.log
_opam/

# End of https://www.gitignore.io/api/emacs,ocaml

### Misc ###

tests/repo/server_config.json
logger
confirm.txt

0 comments on commit 5a6474a

Please sign in to comment.