From 5060254902328690f534cad1e0e321f0c2f5faae Mon Sep 17 00:00:00 2001
From: Rohan Budhiraja <budhiraja@laas.fr>
Date: Thu, 20 Oct 2016 12:02:24 +0200
Subject: [PATCH] [wip/jrl-walkgen-v3] update PLIST

---
 jrl-walkgen-v3/PLIST | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/jrl-walkgen-v3/PLIST b/jrl-walkgen-v3/PLIST
index 2050f9ca..3391a409 100644
--- a/jrl-walkgen-v3/PLIST
+++ b/jrl-walkgen-v3/PLIST
@@ -1,4 +1,7 @@
 @comment Fri Mar 1 14:23:47 CET 2013
+include/jrl/walkgen/config.hh
+include/jrl/walkgen/deprecated.hh
+include/jrl/walkgen/warning.hh
 lib/pkgconfig/jrl-walkgen.pc
 include/jrl/walkgen/patterngeneratorinterface.hh
 include/jrl/walkgen/pgtypes.hh
-- 
GitLab