Source-Changes archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

CVS commit: src/usr.sbin/veriexecgen



Module Name:    src
Committed By:   elad
Date:           Fri Oct 27 22:14:17 UTC 2006

Modified Files:
        src/usr.sbin/veriexecgen: veriexecgen.c

Log Message:
For now, also mark "file" entries as "indirect".


To generate a diff of this commit:
cvs rdiff -r1.6 -r1.7 src/usr.sbin/veriexecgen/veriexecgen.c

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.




Home | Main Index | Thread Index | Old Index