/* Copyright (C) 1996,1997 Robert H”hne, see COPYING.RH for details */
/* This file is part of RHIDE. */
char RHGDBVersion[] = RHGDBVERSION;
char build_date[] = __DATE__;
char build_time[] = __TIME__;

