diff --git a/minmem b/minmem deleted file mode 100644 index a098c07e..00000000 --- a/minmem +++ /dev/null @@ -1 +0,0 @@ -1048576 diff --git a/needed_space_in_mb b/needed_space_in_mb deleted file mode 100644 index c18cf780..00000000 --- a/needed_space_in_mb +++ /dev/null @@ -1 +0,0 @@ -6144