diff dist-files.mk @ 4585:b4f4fbbfdadd

of-interval: update to 3.1.0 * src/of-interval-1-cross-fixes.patch: update patch * src/of-interval.mk: update version, checksum
author John D
date Thu, 21 Dec 2017 12:50:21 -0500
parents a0e30199373f
children 9c7b4337da98
line wrap: on
line diff