diff options
author | Marcus Brinkmann <marcus@gnu.org> | 2000-01-30 13:04:04 +0000 |
---|---|---|
committer | Marcus Brinkmann <marcus@gnu.org> | 2000-01-30 13:04:04 +0000 |
commit | 92976e1b4ab184ff6cf70d7bd9944ae5050c4fc3 (patch) | |
tree | a1e59db7804720b6bdd19b418d771b26e963f8e1 /kern | |
parent | 45567b4858614f504d7f99dc42dd043546579df2 (diff) |
Syncing with the current Debian package.
Diffstat (limited to 'kern')
0 files changed, 0 insertions, 0 deletions