diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2017-06-25 13:04:04 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2017-06-25 13:04:04 -0700 |
commit | e3c9e1536154e0dee2c15b556a2a6b9f6524e114 (patch) | |
tree | 45afca3c6b1710188a25089717d1200d3c022932 /html/085scenario_console.cc.html | |
parent | dc5f112c3ea8aff1a389513fa6c33d88fab07420 (diff) | |
download | mu-e3c9e1536154e0dee2c15b556a2a6b9f6524e114.tar.gz |
3959
Don't unnecessarily write sandboxes to disk on F4. This seems to save almost 20% time when processing a large lesson directory with 36 sandboxes.
Diffstat (limited to 'html/085scenario_console.cc.html')
0 files changed, 0 insertions, 0 deletions