diff --git a/.gitmodules b/.gitmodules index 15fae62..5cbe57b 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,6 @@ [submodule "idris"] path = idris url = https://github.com/edwinb/WS-idr +[submodule "javascript/WS2JS"] + path = javascript/WS2JS + url = git@github.com:Luilak/WS2JS.git diff --git a/javascript/WS2JS b/javascript/WS2JS new file mode 160000 index 0000000..e995f0e --- /dev/null +++ b/javascript/WS2JS @@ -0,0 +1 @@ +Subproject commit e995f0e06809b89cb6eedfae012938db97096237