##// END OF EJS Templates
histedit: use repo.revs() instead of repo.set() where revisions are needed...
histedit: use repo.revs() instead of repo.set() where revisions are needed Follows up 72da480db4a5. This is just a micro optimization, but looks slightly nicer.

File last commit:

r34398:765eb17a default
r36431:f493829b default
Show More
__init__.py
0 lines | 0 B | text/x-python | PythonLexer