diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2017-04-14 10:05:54 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2017-04-14 10:05:54 -0700 |
commit | b16cc0294e517bbf648261c6e298e01362db9ab0 (patch) | |
tree | ef8dcacc78334ff9701f9861610710b8344d9385 /html/074deep_copy.cc.html | |
parent | 6a7ff61cb909231655e6648618efb37af132bd48 (diff) | |
download | mu-b16cc0294e517bbf648261c6e298e01362db9ab0.tar.gz |
3822
Provide an option to disable memory reclamation. This makes edit/ *much* more responsive. The cost: memory use grows monotonically. Since we no longer have a safe way to reclaim heap allocations, we never do so.
Diffstat (limited to 'html/074deep_copy.cc.html')
0 files changed, 0 insertions, 0 deletions