]> granicus.if.org Git - python/commit
projects / python / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ff2ea72) | patch
Scroll to top of info window when done.
authorGuido van Rossum <guido@python.org>
Fri, 9 May 1997 03:19:29 +0000 (03:19 +0000)
committerGuido van Rossum <guido@python.org>
Fri, 9 May 1997 03:19:29 +0000 (03:19 +0000)
commit29f6533c7ff5082968445a3ad640ff55af7a4802
tree174eb5456c5c2435a9c0aaadb54e017c59500e15tree | snapshot
parentff2ea728b8bab03464af8d22660ffb5754ace0c5commit | diff
Scroll to top of info window when done.
Tools/webchecker/wcgui.py diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.