diff options
author | Gard Spreemann <gspreemann@gmail.com> | 2018-03-11 18:15:56 +0100 |
---|---|---|
committer | Gard Spreemann <gspreemann@gmail.com> | 2018-03-11 18:21:26 +0100 |
commit | aea68c01cc01cd15b7d6298d56356671c41621b7 (patch) | |
tree | d1087a21ca0a211e5194dc5648a44b9a572a565d /debian/copyright | |
parent | 1bb448961b1d3153f47ddd9f4f13c54288450afb (diff) |
Bump build-depends version for CGAL to ensure that the DFSG-deleted patches are not needed.
Diffstat (limited to 'debian/copyright')
0 files changed, 0 insertions, 0 deletions