diff options
| author | Christian Grothoff <christian@grothoff.org> | 2021-02-15 22:21:32 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2021-02-15 22:21:32 +0100 |
| commit | 7175efc432d5ef6553e43bf80dd1c94ee4377d9a (patch) | |
| tree | 1eff439be769a303c874a81aa6f75133de288f37 /debian/libgnunet.install | |
| parent | 63884937d64a123c3afe55bfdc5d745caddfed1f (diff) | |
| download | gnunet-7175efc432d5ef6553e43bf80dd1c94ee4377d9a.tar.gz gnunet-7175efc432d5ef6553e43bf80dd1c94ee4377d9a.zip | |
further work on libgnunet minimization
Diffstat (limited to 'debian/libgnunet.install')
| -rw-r--r-- | debian/libgnunet.install | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/debian/libgnunet.install b/debian/libgnunet.install index 60cdebea9..9e7624b8a 100644 --- a/debian/libgnunet.install +++ b/debian/libgnunet.install | |||
| @@ -1,6 +1,9 @@ | |||
| 1 | usr/lib/*/*.so.* | 1 | usr/lib/*/libgnunetcurl.so.* |
| 2 | usr/lib/*/libgnunetjson.so.* | ||
| 3 | usr/lib/*/libgnunetpq.so.* | ||
| 4 | usr/lib/*/libgnunetsq.so.* | ||
| 2 | usr/share/locale/ | 5 | usr/share/locale/ |
| 3 | usr/share/gnunet/config.d/ | 6 | usr/share/gnunet/config.d/util.conf |
| 4 | usr/bin/gnunet-bugreport | 7 | usr/bin/gnunet-bugreport |
| 5 | usr/bin/gnunet-ecc | 8 | usr/bin/gnunet-ecc |
| 6 | usr/bin/gnunet-config | 9 | usr/bin/gnunet-config |