Subject: CVS commit: pkgsrc/mk/defaults
To: None <pkgsrc-changes@NetBSD.org>
From: Antoine Reilles <tonio@netbsd.org>
List: pkgsrc-changes
Date: 01/17/2007 11:15:34
Module Name:	pkgsrc
Committed By:	tonio
Date:		Wed Jan 17 11:15:33 UTC 2007

Modified Files:
	pkgsrc/mk/defaults: options.description

Log Message:
Add coqide option description


To generate a diff of this commit:
cvs rdiff -r1.138 -r1.139 pkgsrc/mk/defaults/options.description

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