view AUTHORS @ 10447:12d25a1d84bf

Use gnulib headers instead of C++ std headers where needed.
author David Grundberg <davidg@cs.umu.se>
date Wed, 24 Mar 2010 17:27:58 +0100
parents 0d4613a736e9
children
line wrap: on
line source