/* Print the version number.  */

/* $Id: version.h,v 1.1.1.2 1998/02/12 21:43:23 ghudson Exp $ */

void version PARAMS ((void));