]> gitweb.factorcode.org Git - factor.git/commit
ui.tools.listener-docs: wrap a hotkey in the $snippet tag
authorAlexander Iljin <ajsoft@yandex.ru>
Sun, 14 May 2017 16:57:18 +0000 (19:57 +0300)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 15 May 2017 03:04:39 +0000 (20:04 -0700)
commit72e6699279ac7ce2499405d64d524530789c8f58
tree99298a215fcfcf21e75b149bac8421fc3d88ebe9
parentc1d6477c22df9cd0604c2b06aca919a53674bb78
ui.tools.listener-docs: wrap a hotkey in the $snippet tag
basis/ui/tools/listener/listener-docs.factor