##// END OF EJS Templates
bookmarks: fixes bug where a deleted bookmark may still be treated as current when track.current option is set
bookmarks: fixes bug where a deleted bookmark may still be treated as current when track.current option is set

File last commit:

r1360:7d439981 default
r7817:cb516e78 default
Show More
__init__.py
1 line | 14 B | text/x-python | PythonLexer
# placeholder