diff options
Diffstat (limited to 'misc/dejagnu')
| -rw-r--r-- | misc/dejagnu/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/misc/dejagnu/Makefile b/misc/dejagnu/Makefile index a21aa8a05172..e506fd428a7a 100644 --- a/misc/dejagnu/Makefile +++ b/misc/dejagnu/Makefile @@ -3,11 +3,11 @@ # Date created: 12 October 1996 # Whom: markm # -# $Id: Makefile,v 1.5 1996/11/18 10:24:54 asami Exp $ +# $Id: Makefile,v 1.6 1997/04/20 13:19:29 wosch Exp $ # DISTNAME= dejagnu-1.3 -CATEGORIES= misc tk41 +CATEGORIES= misc tk80 MASTER_SITES= ${MASTER_SITE_GNU} MAINTAINER= markm@FreeBSD.ORG |