diff options
Diffstat (limited to 'usr.bin/time/time.c')
| -rw-r--r-- | usr.bin/time/time.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/usr.bin/time/time.c b/usr.bin/time/time.c index 1400a97e5859..f140146d1d59 100644 --- a/usr.bin/time/time.c +++ b/usr.bin/time/time.c @@ -42,7 +42,7 @@ static const char copyright[] = static char sccsid[] = "@(#)time.c 8.1 (Berkeley) 6/6/93"; #endif static const char rcsid[] = - "$Id: time.c,v 1.12 1998/10/13 14:52:32 des Exp $"; + "$Id: time.c,v 1.12.2.1 1999/03/12 11:15:13 roberto Exp $"; #endif /* not lint */ #include <sys/types.h> |