diff options
Diffstat (limited to 'usr.bin/devmenu/devmenu.c')
| -rw-r--r-- | usr.bin/devmenu/devmenu.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/usr.bin/devmenu/devmenu.c b/usr.bin/devmenu/devmenu.c index 2e5c69beea45..802a1ebfefe9 100644 --- a/usr.bin/devmenu/devmenu.c +++ b/usr.bin/devmenu/devmenu.c @@ -36,7 +36,7 @@ #ifndef lint static const char rcsid[] = - "$Id: devmenu.c,v 1.2 1995/04/14 18:33:43 wollman Exp $"; + "$Id: devmenu.c,v 1.3 1995/05/30 06:29:43 rgrimes Exp $"; #endif #include <stdlib.h> |