]> asedeno.scripts.mit.edu Git - git.git/search
git-gui: Use 'after 1' to post UI rather than tkwait.