diff options
author | Joey Hess <joeyh@joeyh.name> | 2017-01-31 19:07:24 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2017-01-31 19:09:37 -0400 |
commit | 7b1f48cbd5d78877ae3a6b6a5415a9bed6df79b2 (patch) | |
tree | 8cca3811dc181a57682eda1233a03c3433ee1b9e /Types.hs | |
parent | 7fd21be7f967bdc21530b730f595379b23fe1174 (diff) |
unused: When large files are checked right into git, avoid buffering their contents in memory.
This makes it a little bit slower since it has to check file size,
but worth it to fix a potential memory use problem.
This commit was sponsored by Fernando Jimenez on Patreon.
Diffstat (limited to 'Types.hs')
0 files changed, 0 insertions, 0 deletions