User modifiable keybindings
commitb5db80abddcc5cd02e8943b2ebdf22e4cd6e5d2f
authormalc <av1474@comtv.ru>
Tue, 21 Feb 2012 17:36:11 +0000 (21 21:36 +0400)
committermalc <av1474@comtv.ru>
Tue, 21 Feb 2012 17:36:11 +0000 (21 21:36 +0400)
treeb4b475b963573a0857db921519ae98fad970459e
parent25b783f94709b03aa9dd751fb133518eb7dfae9b
User modifiable keybindings
main.ml
wsi.ml
wsi.mli