diff options
Diffstat (limited to 'lang/coq/PLIST.opt')
-rw-r--r-- | lang/coq/PLIST.opt | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/lang/coq/PLIST.opt b/lang/coq/PLIST.opt index 97caf70f99f..984bc964297 100644 --- a/lang/coq/PLIST.opt +++ b/lang/coq/PLIST.opt @@ -1,6 +1,4 @@ -@comment $NetBSD: PLIST.opt,v 1.1.1.1 2003/03/22 20:21:17 kristerw Exp $ +@comment $NetBSD: PLIST.opt,v 1.2 2005/02/05 11:19:02 adrianp Exp $ bin/coq-interface.opt bin/coqtop.opt -bin/parser man/man1/coqtop.opt.1 -man/man1/parser.1 |