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