diff utils.h @ 178:0d5b9651b240

Merge Joerg's changes into upstream. (now that they've been thrashed out a bit, include CHANGES entries, etc.)
author David A. Holland
date Fri, 12 Jun 2015 03:05:49 -0400 (2015-06-12)
parents 4ea0ce804d22
children 4c3375895c6e
line wrap: on
line diff