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.

Min RK 3f3f3c136e Merge pull request #5436 from ivanov/cm-shorcuts-quickhelp ... CodeMirror shortcuts in QuickHelp		12 years ago
IPython	Merge pull request #5436 from ivanov/cm-shorcuts-quickhelp	12 years ago
docs/source	remove cm_keyboard.rst and OS-level shortcuts	12 years ago
examples	give hint on where to find custom.js	12 years ago
git-hooks	Minor corrections of git-hooks setup instructions	12 years ago
.gitignore	`build` listed twice in .gitignore. Removing one.	12 years ago
.mailmap	updated .mailmap	13 years ago
setup.py	s/COPYING.txt/COPYING.rst	12 years ago
setupbase.py	Install jquery-ui theme images	12 years ago