##// END OF EJS Templates
Merge pull request #7128 from minrk/more-v-less-m...
Merge pull request #7128 from minrk/more-v-less-m A little more V, a little less M in the text editor
Thomas Kluyver -
r19383:aacc2374 merge
Show More