diff options
author | Gard Spreemann <gspr@nonempty.org> | 2019-12-18 10:14:16 +0100 |
---|---|---|
committer | Gard Spreemann <gspr@nonempty.org> | 2019-12-18 10:14:16 +0100 |
commit | 5031a8bb2704fe329661e58d22e4610d1c02f7f7 (patch) | |
tree | 91ecc16999608114deec6aab81a68aa78f5dd18a /debian/rules | |
parent | 01a7bae00279ce68b9c83ac8fb9b93fb392f0078 (diff) |
Bump CGAL requirement also for libgudhi-dev.
Diffstat (limited to 'debian/rules')
0 files changed, 0 insertions, 0 deletions