diff options
Diffstat (limited to 'tools/h4toh5/h4toh5user.h')
-rw-r--r-- | tools/h4toh5/h4toh5user.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/tools/h4toh5/h4toh5user.h b/tools/h4toh5/h4toh5user.h deleted file mode 100644 index 58bd52a..0000000 --- a/tools/h4toh5/h4toh5user.h +++ /dev/null @@ -1,2 +0,0 @@ -#define MEMOPT 0 -#define SLABSIZE 64 |