diff --git a/.gitmodules b/.gitmodules index 01cf9756b8..714006ba2d 100644 --- a/.gitmodules +++ b/.gitmodules @@ -958,6 +958,10 @@ path = extensions/relay url = https://github.com/XiNiHa/relay-zed +[submodule "extensions/replicant"] + path = extensions/replicant + url = https://github.com/pierrenel/replicant.git + [submodule "extensions/rescript"] path = extensions/rescript url = https://github.com/humaans/rescript-zed.git diff --git a/extensions.toml b/extensions.toml index 5cfa5dede7..dd9729c55f 100644 --- a/extensions.toml +++ b/extensions.toml @@ -1059,6 +1059,10 @@ version = "0.0.2" submodule = "extensions/relay" version = "0.0.1" +[replicant] +submodule = "extensions/replicant" +version = "0.0.2" + [rescript] submodule = "extensions/rescript" version = "0.1.0" diff --git a/extensions/replicant b/extensions/replicant new file mode 160000 index 0000000000..1a74cb3012 --- /dev/null +++ b/extensions/replicant @@ -0,0 +1 @@ +Subproject commit 1a74cb3012af5cb955d1344e886e91c61785a26d