From a9c79158e3d151ced029ea443ab663a295ba6e4d Mon Sep 17 00:00:00 2001 From: Olivier Stasse <ostasse@laas.fr> Date: Thu, 7 Feb 2019 16:50:53 +0100 Subject: [PATCH] [wip/dynamic-graph-v3] Fix PLIST --- dynamic-graph-v3/PLIST | 1 + 1 file changed, 1 insertion(+) diff --git a/dynamic-graph-v3/PLIST b/dynamic-graph-v3/PLIST index 3e4e43a5..95908986 100644 --- a/dynamic-graph-v3/PLIST +++ b/dynamic-graph-v3/PLIST @@ -27,6 +27,7 @@ include/dynamic-graph/exception-traces.h include/dynamic-graph/factory.h include/dynamic-graph/fwd.hh include/dynamic-graph/linear-algebra.h +include/dynamic-graph/logger.h include/dynamic-graph/null-ptr.hh include/dynamic-graph/pool.h include/dynamic-graph/real-time-logger.h -- GitLab