src/hightest/config.h Source File

00001 #ifndef HT_CONFIG_H
00002 #define HT_CONFIG_H
00003 
00004 /* placeholder for site-specific options */
00005 
00006 #endif