Details | Last modification | View Log | RSS feed
/* Copyright (C) 1995 DJ Delorie, see COPYING.DJ for details */
#include
void xfree(void *_ptr);
void
xfree(void *_ptr)
{
if (_ptr)
free(_ptr);
}