From 2e209097b6720f374c34467b9420cb1930988c7f Mon Sep 17 00:00:00 2001
From: David van Moolenbroek <david@minix3.org>
Date: Thu, 9 Sep 2010 08:47:39 +0000
Subject: [PATCH] IS: delete obsolete is.h

---
 servers/is/is.h | 33 ---------------------------------
 1 file changed, 33 deletions(-)
 delete mode 100644 servers/is/is.h

diff --git a/servers/is/is.h b/servers/is/is.h
deleted file mode 100644
index 88db7e9ec..000000000
--- a/servers/is/is.h
+++ /dev/null
@@ -1,33 +0,0 @@
-/* Header file for the system information server. 
- *
- * Created:
- *    Jul 13, 2004	by Jorrit N. Herder 
- */
-
-#define _SYSTEM            1    /* get OK and negative error codes */
-#define _MINIX             1	/* tell headers to include MINIX stuff */
-
-#include <ansi.h>
-#include <sys/types.h>
-#include <limits.h>
-#include <errno.h>
-
-#include <minix/callnr.h>
-#include <minix/config.h>
-#include <minix/type.h>
-#include <minix/const.h>
-#include <minix/com.h>
-#include <minix/syslib.h>
-#include <minix/sysutil.h>
-#include <minix/keymap.h>
-#include <minix/bitmap.h>
-
-#include <stdlib.h>
-#include <stdio.h>
-#include <string.h>
-#include <unistd.h>
-#include <signal.h>
-
-#include "proto.h"
-#include "glo.h"
-
-- 
2.44.0