mirror of
https://git.FreeBSD.org/src.git
synced 2024-11-29 08:08:37 +00:00
7a7a464c7e
We never use 'dev' after fetching it from the varargs list. Skip the whole bother of fetching it, or setting up the meachinery to fetch it. Sponsored by: Netflix |
||
---|---|---|
.. | ||
test | ||
userboot | ||
userboot_4th | ||
userboot_lua | ||
Makefile | ||
Makefile.inc | ||
userboot.h |