diff options
| author | Gard Spreemann <gspreemann@gmail.com> | 2017-04-29 20:18:39 +0200 |
|---|---|---|
| committer | Gard Spreemann <gspreemann@gmail.com> | 2017-04-29 20:18:39 +0200 |
| commit | 318ec700b330aaf722f19626647fe0a56375cd9d (patch) | |
| tree | f2d61dc4e4a197715fcf8ac021f4c55146529438 /debian/libgudhi-examples.install | |
| parent | 375f500b24972120a9d757c3ac71375d46325aba (diff) | |
Correctly install GudhUI binary.
Diffstat (limited to 'debian/libgudhi-examples.install')
| -rw-r--r-- | debian/libgudhi-examples.install | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/libgudhi-examples.install b/debian/libgudhi-examples.install index dba26b58..c1e7a4f5 100644 --- a/debian/libgudhi-examples.install +++ b/debian/libgudhi-examples.install @@ -1 +1 @@ -debian/tmp/usr/bin/*
\ No newline at end of file +debian/tmp/usr/bin/libgudhi-example-* |