##// END OF EJS Templates
ui: introduce user-bookmarks for creation of quick shortcuts
ui: introduce user-bookmarks for creation of quick shortcuts

File last commit:

r3423:f8efae2b merge default
r3424:c7ed0ba5 default
Show More
VERSION
1 line | 6 B | text/plain | TextLexer
4.16.0