christos 372af8af4b This is not needed anymore.		2015-08-21 06:56:35 +00:00
..
Makefile	Move rump kernel man pages from various sources to sys/rump	2014-11-09 17:39:37 +00:00