diff options
| author | Gard Spreemann <gspreemann@gmail.com> | 2018-06-12 10:51:06 +0200 |
|---|---|---|
| committer | Gard Spreemann <gspreemann@gmail.com> | 2018-06-12 11:32:00 +0200 |
| commit | b6d352a83740be5ce12e33b0b89980538246a504 (patch) | |
| tree | 8f7b9a41ec89242bf5112ad1db82c331785138ce /debian/patches/series | |
| parent | 9f3023fc3e5cb3fa7073d5b3fa2c7011002af1d1 (diff) | |
Install utilities (binary gudhi-utils).
Diffstat (limited to 'debian/patches/series')
0 files changed, 0 insertions, 0 deletions