various changes

2016-02-06 18:11:31 +01:00
parent 6d56a23dd1
commit ef58d76bc0
22 changed files with 890 additions and 2236 deletions
--- a/tools/dumprwtree/dumprwtree.cpp
+++ b/tools/dumprwtree/dumprwtree.cpp
@ -2,7 +2,6 @@
 #include <cstdlib>
 #include <cstring>
 #include <cassert>
-#include <new>

 #include <rw.h>