diff options
| author | Bertrand Marc <beberking@gmail.com> | 2012-04-21 11:41:52 +0200 |
|---|---|---|
| committer | Bertrand Marc <beberking@gmail.com> | 2012-05-02 21:43:40 +0200 |
| commit | 58eba9c3ad9b5dfd6234a081121a9ef32613e3f8 (patch) | |
| tree | 88a111d50cecc0030d700756c704548f207f59c9 /debian/gnunet-dev.install | |
| parent | 2b81464a43485fcc8ce079fafdee7b7a171835f4 (diff) | |
Imported Debian patch 0.9.2-1
Diffstat (limited to 'debian/gnunet-dev.install')
| -rw-r--r-- | debian/gnunet-dev.install | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/debian/gnunet-dev.install b/debian/gnunet-dev.install new file mode 100644 index 0000000..9d4598d --- /dev/null +++ b/debian/gnunet-dev.install @@ -0,0 +1,3 @@ +usr/include +usr/lib/*.so +usr/lib/pkgconfig |