diff options
| author | Christian Grothoff <christian@grothoff.org> | 2021-01-01 21:02:52 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2021-01-01 21:02:52 +0100 |
| commit | 8311ea5777aff643f2823c763d71f1efc41abb75 (patch) | |
| tree | 9c3ee440b561d6a3ffe433dc3c7f7724ec4467de /debian/libgnunet-dev.install | |
| parent | 4eca306528227f855bc200b878a18044f88d9302 (diff) | |
| download | gnunet-8311ea5777aff643f2823c763d71f1efc41abb75.tar.gz gnunet-8311ea5777aff643f2823c763d71f1efc41abb75.zip | |
rename gnunet-dev to libgnunet-dev
Diffstat (limited to 'debian/libgnunet-dev.install')
| -rw-r--r-- | debian/libgnunet-dev.install | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/debian/libgnunet-dev.install b/debian/libgnunet-dev.install new file mode 100644 index 000000000..90d8c987f --- /dev/null +++ b/debian/libgnunet-dev.install | |||
| @@ -0,0 +1,3 @@ | |||
| 1 | usr/include | ||
| 2 | usr/lib/*/*.so | ||
| 3 | usr/lib/*/pkgconfig | ||