#ifndef lint
static const char rcsid[] =
- "$Id: interactive.c,v 1.14 2000/12/04 15:43:17 stelian Exp $";
+ "$Id: interactive.c,v 1.15 2000/12/21 11:14:54 stelian Exp $";
#endif /* not lint */
+#include <config.h>
#include <sys/param.h>
#include <sys/stat.h>