mirror of
https://github.com/freebsd/freebsd-src
synced 2024-09-06 17:18:32 +00:00
![]() When setting or querying state it is sufficient to provide only enough of the state name to be unambiguous. |
||
---|---|---|
.. | ||
Makefile | ||
Makefile.depend | ||
manifest_lexer.l | ||
manifest_parser.y | ||
veriexec.8 | ||
veriexec.c | ||
veriexec.h |