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/dev/lib | |
| 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/dev/lib')
0 files changed, 0 insertions, 0 deletions