##// END OF EJS Templates
bookmark: use 'applychanges' when updating a bookmark through pushkey
bookmark: use 'applychanges' when updating a bookmark through pushkey
Boris Feld -
r33485:50502148 default
Show More
Name Size Modified Last Commit Author
/ hgext / highlight
__init__.py Loading ...
highlight.py Loading ...