feature: #39 Display user info in upper right corner

2018-12-10 13:30:15 +01:00
parent af36edefe4
commit 35c94dc44b
6 changed files with 12 additions and 10 deletions
--- a/2
+++ b/2
@ -14,7 +14,7 @@ install: node_modules copy_lib copy_samples submodules

 submodules:
 	git submodule init
-	git submodule update
+	git submodule update --recursive --remote

 build: $(DIST_DIR)/index.html $(DIST_DIR)/styles/index.css $(SCRIPT_DEST)