diff options
author | Marcus Brinkmann <marcus@gnu.org> | 2002-02-10 17:52:21 +0000 |
---|---|---|
committer | Marcus Brinkmann <marcus@gnu.org> | 2002-02-10 17:52:21 +0000 |
commit | 679bd94f4976349c7d8e95cce9c2b1577335f548 (patch) | |
tree | 92dba6b8d314e1fe1cb3ed3fd1a1a98e535a67e4 | |
parent | aae2c42a3fe0567bc6b5792dd9637685b6d00cd9 (diff) |
Fix type.
-rw-r--r-- | ChangeLog | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,6 +1,6 @@ 2002-02-10 Marcus Brinkmann <marcus@gnu.org> - * INSTALL: Change install-hdrs to install-headers. Reprted by + * INSTALL: Change install-hdrs to install-headers. Reported by Vicente Hernando Ara <bizenton@terra.es>. 2002-01-05 Roland McGrath <roland@frob.com> |