Skip to content

Rename resize_memory to grow_memory, following the design.#134

Merged
sunfishcode merged 4 commits intomasterfrom
grow-memory
Oct 14, 2015
Merged

Rename resize_memory to grow_memory, following the design.#134
sunfishcode merged 4 commits intomasterfrom
grow-memory

Commits

Commits on Oct 14, 2015