diff -r 4eebab50993e -r 6d139c21e22c mash/lock.h
--- a/mash/lock.h	Sun Jul 15 14:08:19 2018 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,8 +0,0 @@
-#ifndef	_LOCK_H
-#define	_LOCK_H
-
-
-int  lockprog(char *);
-void ulockprog(char *);
-
-#endif