From abd3f1363d28d6777b96b8f09b90092ef75ffce6 Mon Sep 17 00:00:00 2001 From: Jerry Flood Date: Mon, 1 Apr 2019 13:27:05 -0400 Subject: [PATCH] Update git submodules * Update docs/submodules/optf/cmso.git from branch 'master' to 442bb3c2d0ca9c6ecf3ecf5d85dc8fec725a204c - Define interface to minizinc engine Issue-ID: OPTFRA-436 Change-Id: Icf450f06d37f6035a620b3f22a5c186f4923d63c Signed-off-by: Jerry Flood --- docs/submodules/optf/cmso.git | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/submodules/optf/cmso.git b/docs/submodules/optf/cmso.git index cb0a9f102..442bb3c2d 160000 --- a/docs/submodules/optf/cmso.git +++ b/docs/submodules/optf/cmso.git @@ -1 +1 @@ -Subproject commit cb0a9f1021977d3d6cd6326541c203cf2913bf47 +Subproject commit 442bb3c2d0ca9c6ecf3ecf5d85dc8fec725a204c -- 2.16.6