diff options
author | Marcus Brinkmann <marcus@gnu.org> | 2000-11-26 14:33:20 +0000 |
---|---|---|
committer | Marcus Brinkmann <marcus@gnu.org> | 2000-11-26 14:33:20 +0000 |
commit | cadc821bbcdfb11bf7e1148727ad77485ad16372 (patch) | |
tree | 24397442565fb55b561913849656d2fe20e329fc /linux/Files | |
parent | b24e2b21619a75838d6caeea33b3d8cebedd1851 (diff) |
2000-11-26 David Welch <david.welch@seh.ox.ac.uk>
* i386/Makefrag (i386-installed-headers): Removed dead files
from the list of headers to be installed
Diffstat (limited to 'linux/Files')
0 files changed, 0 insertions, 0 deletions