diff --git a/err.h b/err.h deleted file mode 100644 index 915720aa4c..0000000000 --- a/err.h +++ /dev/null @@ -1 +0,0 @@ -#include <misc/err.h>