diff options
author | 2012-06-12 16:24:19 -0400 | |
---|---|---|
committer | 2012-06-12 16:25:56 -0400 | |
commit | cb2255e93aa30425da3213b742745832a0067622 (patch) | |
tree | 964d268d5de3b7d280b007738c232cbb07704d6b /Git/UpdateIndex.hs | |
parent | b240418acc99d5cacc2fdcfe655979517eda9fd4 (diff) |
do fewer commits during long batch jobs
10 thousand queue size does not use appreciable memory in my testing.
Diffstat (limited to 'Git/UpdateIndex.hs')
0 files changed, 0 insertions, 0 deletions