.git/
build/
.github/
.travis/
.tx/
cockatrice/
doc/
oracle/
Dockerfile