From 5df505a19b13ce03bc0bb242536f8f8e58dfcffe Mon Sep 17 00:00:00 2001
From: Justin Carpentier <jcarpent@laas.fr>
Date: Tue, 9 Feb 2016 19:09:38 +0100
Subject: [PATCH] [wip/pinocchio] Update PLIST content

---
 pinocchio/PLIST | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/pinocchio/PLIST b/pinocchio/PLIST
index 6c209071..26937d92 100644
--- a/pinocchio/PLIST
+++ b/pinocchio/PLIST
@@ -28,8 +28,6 @@ include/pinocchio/multibody/joint/joint-spherical.hpp
 include/pinocchio/multibody/joint/joint-translation.hpp
 include/pinocchio/multibody/joint/joint-variant.hpp
 include/pinocchio/multibody/model.hpp
-include/pinocchio/multibody/parser/lua.hpp
-include/pinocchio/multibody/parser/lua/lua_tables.hpp
 include/pinocchio/multibody/parser/sample-models.hpp
 include/pinocchio/multibody/parser/urdf.hpp
 include/pinocchio/multibody/visitor.hpp
@@ -55,7 +53,6 @@ include/pinocchio/spatial/motion.hpp
 include/pinocchio/spatial/se3.hpp
 include/pinocchio/spatial/skew.hpp
 include/pinocchio/spatial/symmetric3.hpp
-include/pinocchio/tools/matrix-comparison.hpp
 include/pinocchio/tools/timer.hpp
 include/pinocchio/warning.hh
 lib/libpinocchio.so
-- 
GitLab