diff Makefile.in @ 4156:600b1ae96027

of-interval: update to v1.5.0 * build_packages.m: update interval version * src/of-interval.mk: update version, checksum
author John Donoghue
date Wed, 08 Jun 2016 12:58:22 -0400
parents 28a83a566666
children 4556ee171f27
line wrap: on
line diff