diff options
| author | Kévin Le Gouguec <kevin.legouguec@gmail.com> | 2018-03-31 09:37:09 +0200 |
|---|---|---|
| committer | Kévin Le Gouguec <kevin.legouguec@gmail.com> | 2018-03-31 09:41:45 +0200 |
| commit | 5934f7c040de3920d1278f70296f602df7d735d9 (patch) | |
| tree | 148e0a998bed97be06d3c8515eff9bd70f221747 /personal | |
| parent | f39b75f20ec009976f58d66d1f376bc26911eb0d (diff) | |
| download | memory-leaks-5934f7c040de3920d1278f70296f602df7d735d9.tar.xz | |
Rename function
"(Un)tracked" rolls better off the tongue than "(un)committed". IMO.
I considered keeping track of "possibly lost pages" (i.e. uncommitted
files), but it's probably not an interesting metric since it will vary
from one computer to another.
The whole thing is not rigorous anyway, since tracked files might
contain uncommitted modifications.
Ah well. I still think it's a somewhat cute analogy.
Diffstat (limited to 'personal')
0 files changed, 0 insertions, 0 deletions