/* Created automatically by 'configure' */
#ifndef CLIPGTKEXTRA_CONFIG_H
#define CLIPGTKEXTRA_CONFIG_H

#undef  VERSION 
#undef  OSNAME 
#define OSNAME "LINUX"
#define OS_LINUX
#undef  SYSTEM 
#define SYSTEM "Linux"

#define HAVE_GTK
#define HAVE_GTK_EXTRA
#endif
