Merge pull request #757 from whitequark/manual_mem
authorClifford Wolf <clifford@clifford.at>
Sat, 22 Dec 2018 19:12:18 +0000 (20:12 +0100)
committerGitHub <noreply@github.com>
Sat, 22 Dec 2018 19:12:18 +0000 (20:12 +0100)
commite5eb3d2c8ace00aeedec410d17a4972a76782089
tree0c9b4c652028fd41df3e5d2cc1399007083f1c45
parentee8a7589e09efeb38cbc5ee6fd241758d6637fe2
parent182d84ad54cff315e7afb07f5353a477e4c410f4
Merge pull request #757 from whitequark/manual_mem

manual: document $meminit cell and memory_* passes