diff -r 06bc1ef248a6 -r 8ff4532376a4 hg --- 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)