nit

Author: Dimo

.gitignore

@@ -0,0 +1,28 @@
+*.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/