From ba09c4cb9d8910fcf6abfcb6b62d5654b0041b93 Mon Sep 17 00:00:00 2001 From: Ghislain MARY Date: Wed, 2 Mar 2016 14:16:37 +0100 Subject: [PATCH] Update bv16-floatingpoint and cmake-builder submodules. --- submodules/cmake-builder | 2 +- submodules/externals/bv16-floatingpoint | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/submodules/cmake-builder b/submodules/cmake-builder index 3d65304e8..96b15de85 160000 --- a/submodules/cmake-builder +++ b/submodules/cmake-builder @@ -1 +1 @@ -Subproject commit 3d65304e831e81639f8fe88a7c3e54502fbf5679 +Subproject commit 96b15de85777af96327cff9e02fb5d46ed3007fd diff --git a/submodules/externals/bv16-floatingpoint b/submodules/externals/bv16-floatingpoint index f2c49dcde..6899f2759 160000 --- a/submodules/externals/bv16-floatingpoint +++ b/submodules/externals/bv16-floatingpoint @@ -1 +1 @@ -Subproject commit f2c49dcdee0a1b7cea3751022c923672fa082984 +Subproject commit 6899f2759c7b19d5402335d3a937c53020abfeca