diff options
| author | Gard Spreemann <gspreemann@gmail.com> | 2018-03-23 14:58:05 +0100 |
|---|---|---|
| committer | Gard Spreemann <gspreemann@gmail.com> | 2018-03-23 14:58:05 +0100 |
| commit | 1016fad4b381cc27eabb228903f6cc27788eca7f (patch) | |
| tree | bec20a1380feaa0b4151800c021137cbf0a92986 /debian/libgudhi-dev.docs | |
| parent | 8ac564c39081c326070592f576fbae0578572db1 (diff) | |
Per sponsor advice, remove versioned dependencies that are long ago satisfied.
Diffstat (limited to 'debian/libgudhi-dev.docs')
0 files changed, 0 insertions, 0 deletions