ADDED: Package paxos

SWI-Prolog · Jun 27, 2018 · 91646d4 · 91646d4
1 parent 2e65981
commit 91646d4
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -112,3 +112,6 @@
 [submodule "packages/yaml"]
 	path = packages/yaml
 	url = ../packages-yaml.git
+[submodule "packages/paxos"]
+	path = packages/paxos
+	url = ../packages-paxos.git
diff --git a/packages/paxos b/packages/paxos