diff options
author | Todor Tomov <ttomov@mm-sol.com> | 2011-02-16 14:33:34 +0200 |
---|---|---|
committer | Laurent Pinchart <laurent.pinchart@ideasonboard.com> | 2011-02-17 14:32:44 +0100 |
commit | 9811c252dcfba98358dc876bc6584ffb8f02b237 (patch) | |
tree | 845be55db09347fcc1af11f5d6dbeb5475196ce8 /debian/libmedia-dev.install | |
parent | 07634f6879e73c4f0452b9100358dfde340b1bef (diff) |
Rename libraries to descriptive names
Rename libraries to more descriptive names:
libmedia -> libmediactl
libsubdev -> libv4l2subdev
Signed-off-by: Todor Tomov <ttomov@mm-sol.com>
Diffstat (limited to 'debian/libmedia-dev.install')
-rw-r--r-- | debian/libmedia-dev.install | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/debian/libmedia-dev.install b/debian/libmedia-dev.install deleted file mode 100644 index 34a9753..0000000 --- a/debian/libmedia-dev.install +++ /dev/null @@ -1,5 +0,0 @@ -usr/include/mediactl/media.h -usr/lib/libmedia.a -usr/lib/libmedia.so -usr/lib/libmedia.la -usr/lib/pkgconfig/libmedia.pc |