/* Copyright (C) 1996-1998 Robert H”hne, see COPYING.RH for details */
/* This file is part of RHIDE. */
/* WARN */
char RHGDBVersion[] = "RHGDB Version @version@";
char build_date[] = __DATE__;
char build_time[] = __TIME__;


