You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Thomas Kluyver 4cee2f5f3a Merge pull request #7128 from minrk/more-v-less-m ... A little more V, a little less M in the text editor		12 years ago
..
tests	Merge pull request #6915 from minrk/contents-no-0	12 years ago
filemanager.py	Merge pull request #7128 from minrk/more-v-less-m	12 years ago
handlers.py	Merge pull request #7128 from minrk/more-v-less-m	12 years ago
manager.py	Clean up get_kernel_path logic	12 years ago