projects / git.git / tree
? search:
summary | shortlog | log | commit | commitdiff | tree
snapshot
Refine the update heuristic to improve responsiveness a bit.
-rwxr-xr-x 86478 gitk blob | history | raw
The core git plumbing