*/
#ifndef lint
-static char sccsid[] = "@(#)input.c 5.4 (Berkeley) 4/30/90";
+/*static char sccsid[] = "from: @(#)input.c 5.4 (Berkeley) 4/30/90";*/
+static char rcsid[] = "$Id: input.c,v 1.2 1993/08/01 18:57:08 mycroft Exp $";
#endif not lint
#include "include.h"