mirror of
https://github.com/freebsd/freebsd-src
synced 2024-10-15 12:54:27 +00:00
2ff63af9b8
Remove /^\s*\*+\s*\$FreeBSD\$.*$\n/ |
||
---|---|---|
.. | ||
veriexec_ioctl.h | ||
verified_exec.c |