From owner-cvs-src@FreeBSD.ORG  Wed May 31 09:08:55 2006
Return-Path: <owner-cvs-src@FreeBSD.ORG>
X-Original-To: cvs-src@FreeBSD.org
Delivered-To: cvs-src@FreeBSD.org
Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125])
	by hub.freebsd.org (Postfix) with ESMTP id 845F716A41F;
	Wed, 31 May 2006 09:08:55 +0000 (UTC)
	(envelope-from truckman@FreeBSD.org)
Received: from gw.catspoiler.org (adsl-75-1-14-242.dsl.scrm01.sbcglobal.net
	[75.1.14.242]) by mx1.FreeBSD.org (Postfix) with ESMTP id 0524943D58;
	Wed, 31 May 2006 09:08:54 +0000 (GMT)
	(envelope-from truckman@FreeBSD.org)
Received: from FreeBSD.org (mousie.catspoiler.org [192.168.101.2])
	by gw.catspoiler.org (8.13.3/8.13.3) with ESMTP id k4V98jre001315;
	Wed, 31 May 2006 02:08:48 -0700 (PDT)
	(envelope-from truckman@FreeBSD.org)
Message-Id: <200605310908.k4V98jre001315@gw.catspoiler.org>
Date: Wed, 31 May 2006 02:08:45 -0700 (PDT)
From: Don Lewis <truckman@FreeBSD.org>
To: dds@FreeBSD.org
In-Reply-To: <200605302049.k4UKnsX2068808@repoman.freebsd.org>
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=us-ascii
Cc: cvs-src@FreeBSD.org, src-committers@FreeBSD.org, cvs-all@FreeBSD.org
Subject: Re: cvs commit: src/sys/kern vnode_if.src src/sys/tools vnode_if.awk
X-BeenThere: cvs-src@freebsd.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: CVS commit messages for the src tree <cvs-src.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/cvs-src>,
	<mailto:cvs-src-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/cvs-src>
List-Post: <mailto:cvs-src@freebsd.org>
List-Help: <mailto:cvs-src-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/cvs-src>,
	<mailto:cvs-src-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Wed, 31 May 2006 09:08:55 -0000

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]