Talk about "header file", not "header".
authorBruno Haible <bruno@clisp.org>
Thu, 6 Mar 2008 17:46:20 +0000 (18:46 +0100)
committerBruno Haible <bruno@clisp.org>
Thu, 6 Mar 2008 17:46:20 +0000 (18:46 +0100)
commitcff97834265a2dba55ef4b75cdfc329bbcf4b4a8
tree9c56d3551aaabd9832e4c8f32462ee8af4535873
parent6bf4d14680d2e3b7bd2b149722f10f97216cb48f
Talk about "header file", not "header".
doc/gnulib.texi