Skip the check for Linux kernel sources
authorIvo Timmermans <ivo@lychnis.net>
Sat, 28 Oct 2000 19:34:53 +0000 (19:34 +0000)
committerIvo Timmermans <ivo@lychnis.net>
Sat, 28 Oct 2000 19:34:53 +0000 (19:34 +0000)

No differences found