dds 2006-05-30 20:49:54 UTC
FreeBSD src repository
Modified files:
sys/kern vnode_if.src
sys/tools vnode_if.awk
Log:
Assertion code specifications are introduced using special character
sequences that are distinct from comments. %% is used for argument
locks; %! for pre- and post-conditions.
Revision Changes Path
1.82 +182 -182 src/sys/kern/vnode_if.src
1.54 +5 -5 src/sys/tools/vnode_if.awk
_______________________________________________
[email protected] mailing list
http://lists.freebsd.org/mailman/listinfo/cvs-all
To unsubscribe, send any mail to "[EMAIL PROTECTED]"
