diff options
| author | Gard Spreemann <gspreemann@gmail.com> | 2017-10-16 16:20:37 +0200 |
|---|---|---|
| committer | Gard Spreemann <gspreemann@gmail.com> | 2017-10-16 16:20:37 +0200 |
| commit | 9843d5c817e374686e99805ab70736daa7286092 (patch) | |
| tree | 6648eb7925099438e68646a86623a286f5844dc5 /debian/libgudhi-examples.install | |
| parent | f7db9bf5d25f92f04651042ba1777f931f0ef56f (diff) | |
Don't install example binaries.
Diffstat (limited to 'debian/libgudhi-examples.install')
| -rw-r--r-- | debian/libgudhi-examples.install | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/debian/libgudhi-examples.install b/debian/libgudhi-examples.install deleted file mode 100644 index c1e7a4f5..00000000 --- a/debian/libgudhi-examples.install +++ /dev/null @@ -1 +0,0 @@ -debian/tmp/usr/bin/libgudhi-example-* |