]> git.tuebingen.mpg.de Git - paraslash.git/blobdiff - stdin.c
Merge branch 'maint'
[paraslash.git] / stdin.c
diff --git a/stdin.c b/stdin.c
index 14201a9a6ccc757a26fd437ea2fa7ca24c95c8de..6277f7e70fe3d30030752f6f4955ccdafce65a0e 100644 (file)
--- a/stdin.c
+++ b/stdin.c
@@ -9,9 +9,7 @@
 #include <dirent.h> /* readdir() */
 #include <assert.h>
 
-
 #include "para.h"
-#include "string.h"
 #include "list.h"
 #include "sched.h"
 #include "fd.h"