diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2017-06-25 10:49:03 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2017-06-25 11:02:15 -0700 |
| commit | dc5f112c3ea8aff1a389513fa6c33d88fab07420 (patch) | |
| tree | 5e887029c973d8a5b292fd9993c5ad81cf8c4c61 /html/tangle.png | |
| parent | d2f0704962eb0e43f3db8b461dd6d48ee9297f73 (diff) | |
| download | mu-dc5f112c3ea8aff1a389513fa6c33d88fab07420.tar.gz | |
3958
Improvement on fix 3957: rather than put a band-aid over a slow operation, eliminate the slowdown entirely. In this case it turns out we're unnecessarily saving files to disk when they could never be modified. Are we doing this on F4 as well?!
Diffstat (limited to 'html/tangle.png')
0 files changed, 0 insertions, 0 deletions