/////////////////////////////////////////////////////////////////////////
// $Id: linux.h,v 1.1 2003-11-28 15:07:25 danielg4 Exp $
/////////////////////////////////////////////////////////////////////////
//
//
// linux.h
//

extern void do_linux_info ();