From 07eb049b002f2144e9f5c73f08865831d7fb5c89 Mon Sep 17 00:00:00 2001 From: Reuben Thomas Date: Sun, 6 Jul 2014 23:54:25 +0100 Subject: Add Debianization files from Debian package 1.0.9-2.4 --- debian/plptools-dev.files | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 debian/plptools-dev.files (limited to 'debian/plptools-dev.files') diff --git a/debian/plptools-dev.files b/debian/plptools-dev.files new file mode 100644 index 0000000..25d4b2f --- /dev/null +++ b/debian/plptools-dev.files @@ -0,0 +1,3 @@ +usr/lib/libplp.so +usr/lib/libplp.a +usr/include/plptools -- cgit v1.2.3