| Mon, 25 Dec 2017 16:15:55 +0100 | František Kučera | not needed in destructor: memory = nullptr; | changeset | files |
| Mon, 25 Dec 2017 01:34:06 +0100 | František Kučera | parametric memory size | changeset | files |
| Mon, 25 Dec 2017 01:27:44 +0100 | František Kučera | memory: rename, refactor | changeset | files |
| Mon, 25 Dec 2017 00:34:27 +0100 | František Kučera | rename memory.h to Memory.h | changeset | files |