.gitignore

*.out
*.err
*.run
*.pyc
.*.sw*
*.db
.z3-trace

src/static/bootstrap-theme.min.css
src/static/bootstrap.min.css
src/static/bootstrap.min.js
src/static/jquery-1.12.0.min.js
src/static/jquery.jsonrpcclient.js
src/static/jquery.color-2.1.2.min.js
src/static/require.js
src/static/phaser.js
src/static/crafty-min.js
src/static/doge.jpg
src/static/jquery-ui-1.11.4.zip*
src/static/jquery-ui-1.11.4/
src/static/help-icon.png
env
node_modules
*.fuzz_traces
*.log
*.pem
src/static/build/
src/static/typings/