/////////////////////////////////////////////////////////////////////////
// $Id: linux.h,v 1.3 2001-10-03 13:10:37 bdenney Exp $
/////////////////////////////////////////////////////////////////////////
//
//
// linux.h
//

extern void do_linux_info ();