]> git.tuebingen.mpg.de Git - paraslash.git/blobdiff - file_write.c
Merge remote-tracking branch 's/master'
[paraslash.git] / file_write.c
index bfade187a8b215ff74fb5baecee845149f360528..debf07671f17ed132690b74e3cde2246428889d0 100644 (file)
@@ -9,7 +9,6 @@
 #include <regex.h>
 #include <sys/types.h>
 #include <sys/time.h>
-#include <stdbool.h>
 
 #include "para.h"
 #include "list.h"