projects / pcl.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 6f6353c)
Drop dev link (transition is done)
authorJochen Sprickerhof <git@jochen.sprickerhof.de>
Tue, 18 Aug 2020 15:31:02 +0000 (17:31 +0200)
committerJochen Sprickerhof <git@jochen.sprickerhof.de>
Tue, 18 Aug 2020 15:31:02 +0000 (17:31 +0200)
debian/libpcl-dev.links [deleted file] patch | blob | history

diff --git a/debian/libpcl-dev.links b/debian/libpcl-dev.links
deleted file mode 100644 (file)
index 11bee63..0000000
--- a/debian/libpcl-dev.links
+++ /dev/null
@@ -1 +0,0 @@
-/usr/include/pcl-1.11 /usr/include/pcl-1.10
Unnamed repository; edit this file 'description' to name the repository.