Module Name: src Committed By: riastradh Date: Sat Feb 12 02:40:48 UTC 2022
Modified Files:
src/sys/dev: veriexec.c
Log Message:
veriexec(4): Omit needless device crud in veriexec.c.
To generate a diff of this commit:
cvs rdiff -u -r1.2 -r1.3 src/sys/dev/veriexec.c
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
