static char sccsid[] = "@(#)dumprmt.c 8.3 (Berkeley) 4/28/95";
#endif
static const char rcsid[] =
- "$Id: dumprmt.c,v 1.3 1999/10/11 12:59:16 stelian Exp $";
+ "$Id: dumprmt.c,v 1.4 1999/10/11 13:08:06 stelian Exp $";
#endif /* not lint */
#ifdef __linux__