diff options
| author | Marcus Brinkmann <marcus@gnu.org> | 2002-02-10 17:11:22 +0000 |
|---|---|---|
| committer | Marcus Brinkmann <marcus@gnu.org> | 2002-02-10 17:11:22 +0000 |
| commit | 00269c069be2a461363f905f19a02bb013e7debf (patch) | |
| tree | 670cd03204456527b2fa5a240778467e3e5d72cd /hurd.boot | |
| parent | b567a61b80b146ab301d912bbf7f4a31b9d99d37 (diff) | |
2002-02-10 Marcus Brinkmann <marcus@gnu.org>
* INSTALL: Change install-hdrs to install-headers. Reprted by
Vicente Hernando Ara <bizenton@terra.es>.
Diffstat (limited to 'hurd.boot')
0 files changed, 0 insertions, 0 deletions