1 Commits

Author	SHA1	Message	Date
Eric S. Raymond	a8cee73c12	Enrich the editor theme markup for hotkeys by adding a description= attribute. ... A new script, data/tools/extractbindings, uses this to automatically generate an up-to-date list of editor keybindings in a form suitable for the wiki.	2008-02-29 21:11:35 +00:00