#ifndef lint static const char RCSid[] = "$Id: open.c,v 1.2 2003/11/15 02:13:37 schorsch Exp $"; #endif #include "lib4014.h" #include "lib4014.h" extern void openvt(void) { } extern void openpl(void) { }