Commit 6aee670af45d75316d0efd26337277c9961f659f

Bruno Haible 2007-08-18T10:54:38

Trivial modifications to lib/diffseq.h.