Commit 5ecd621cd505e159bccac52f6b78013bd805a3a1

Bruno Haible 2003-05-06T10:33:09

Moved to ../include/.