Hugging Face's logo

Spaces:
jbrinkma
/
deepmind-pushworld
Running

App Files Community
jbrinkma commited on
Commit
a1e7a22
•
1 Parent(s): 1eaca60

Update demo/index.js

Browse files
Files changed (1) hide show
  1. demo/index.js +2 -0
demo/index.js CHANGED
@@ -1,3 +1,5 @@
 
 
1
  // Github settings
2
  github_repo = "deepmind/pushworld"
3
  file_source = "https://raw.githubusercontent.com/" + github_repo + "/main/"
 
1
+ // source code copied from https://deepmind-pushworld.github.io/play/
2
+
3
  // Github settings
4
  github_repo = "deepmind/pushworld"
5
  file_source = "https://raw.githubusercontent.com/" + github_repo + "/main/"