Commit 32dd52c8d62d4b4c2a08e2758938625f32574434

Bruno Haible 2008-01-14T23:43:46

Fix documentation of include file.