diff -r 4eebab50993e -r 6d139c21e22c mash/xutil.h
--- a/mash/xutil.h	Sun Jul 15 14:08:19 2018 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,8 +0,0 @@
-#ifndef	_XUTIL_H
-#define	_XUTIL_H
-
-char *xmalloc(size_t);
-char *xstrcpy(char *);
-char *xstrcat(char *, char *);
-
-#endif