diff -r b9a1f5da870a -r 54e9940f413b thermferm/rdconfig.h
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/thermferm/rdconfig.h	Sun Jul 13 22:11:46 2014 +0200
@@ -0,0 +1,10 @@
+#ifndef	RDCONFIG_H
+#define	RDCONFIG_H
+
+
+void killconfig(void);
+int  rdconfig(void);
+int  wrconfig(void);
+
+
+#endif