Tobias Kortkamp f3b742f210 Deprecate devel/linux-kernel ... Updating it to newer versions is troublesome and the port is no longer useful to me.		2018-10-19 19:52:16 +00:00
..
files
distinfo
Makefile
pkg-descr