--- a/rs232dbg/rs232dbg.h	Fri Dec 02 11:37:40 2005 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,7 +0,0 @@
-
-#ifndef RS232DBG_H
-#define RS232DBG_H
-
-void SDBG_print(const char *format, ...);
-
-#endif