cvs commit: src/sys/kern vnode_if.src src/sys/tools vnode_if.awk

[Don Lewis]

On 30 May, Diomidis Spinellis wrote:
> 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

[appearing from the void]

Thanks!

[disappearing into the void]