diff options
author | Gard Spreemann <gspr@nonempty.org> | 2022-09-19 22:29:37 +0200 |
---|---|---|
committer | Gard Spreemann <gspr@nonempty.org> | 2022-09-19 22:29:37 +0200 |
commit | 80db47326d780876dccf09549a4950cd985642c9 (patch) | |
tree | 6e81183a49a38a8c6b3d4480b387d6d07133d621 /debian | |
parent | 060af06e1aa3bf4305cbc63c4620bbcb50a9c621 (diff) |
Non-wildcard install listdebian/1.2.1-3debian/sid
Diffstat (limited to 'debian')
-rw-r--r-- | debian/ripser.install | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/debian/ripser.install b/debian/ripser.install index 8dd1c67..ad293cd 100644 --- a/debian/ripser.install +++ b/debian/ripser.install @@ -1 +1,2 @@ -build/* usr/bin/ +build/ripser usr/bin/ +build/ripser-coeff usr/bin/ |