hg
changeset 219 8ff4532376a4
parent 213 d2172916ef6c
child 220 3113a94c1bff
--- a/hg	Wed Jun 01 17:01:09 2005 -0800
+++ b/hg	Wed Jun 01 19:19:38 2005 -0800
@@ -129,12 +129,6 @@
 if os.getcwd() != repo.root:
     relpath = os.getcwd()[len(repo.root) + 1: ]
 
-if cmd == "checkout" or cmd == "co":
-    node = repo.changelog.tip()
-    if args:
-        node = repo.lookup(args[0])
-    repo.checkout(node)
-
 elif cmd == "add":
     repo.add(args)